101 citations · 535 across the 27 of their papers we have counts for
6 papers · 1 filter
Towards Linux Kernel Memory Safety
Elena Reshetova, Hans Liljestrand, Andrew Paverd +1
The security of billions of devices worldwide depends on the security and robustness of the mainline Linux kernel. However, the increasing number of kernel-specific vulnerabilities…
SafeKeeper: Protecting Web Passwords using Trusted Execution Environments
Klaudia Krawiecka, Arseny Kurnikov, Andrew Paverd +2
Passwords are undoubtedly the most dominant user authentication mechanism on the web today. Although they are inexpensive and easy-to-use, security concerns of password-based authe…
LO-FAT: Low-Overhead Control Flow ATtestation in Hardware
Ghada Dessouky, Shaza Zeitouni, Thomas Nyman +5
Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, e…
HardScope: Thwarting DOP with Hardware-assisted Run-time Scope Enforcement
Thomas Nyman, Ghada Dessouky, Shaza Zeitouni +4
Widespread use of memory unsafe programming languages (e.g., C and C++) leaves many systems vulnerable to memory corruption attacks. A variety of defenses have been proposed to mit…
Formal Analysis of V2X Revocation Protocols
Jorden Whitefield, Liqun Chen, Frank Kargl +4
Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically,…
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…