85 citations · 142 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilit…
cs.CR2017★ 85 cited
Security in Automotive Networks: Lightweight Authentication and Authorization
Philipp Mundhenk, Andrew Paverd, Artur Mrowca +4
With the increasing amount of interconnections between vehicles, the attack surface of internal vehicle networks is rising steeply. Although these networks are shielded against ext…