Securing the Cosmos: On the Future of Space Systems Security Research

Formally Verified Software Update Management System in Automotive

Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)

Copy-on-Flip: Hardening ECC Memory Against Rowhammer Attacks

Andrea Di Dio (Vrije Universiteit Amsterdam), Koen Koning (Intel), Herbert Bos (Vrije Universiteit Amsterdam), Cristiano Giuffrida (Vrije Universiteit Amsterdam)

Towards Privacy-Preserving Platooning Services by means of Homomorphic Encryption

Nicolas Quero (Expleo France), Aymen Boudguiga (CEA LIST), Renaud Sirdey (CEA LIST), Nadir Karam (Expleo France)

COSPAS Search and Rescue Satellite Uplink: A MAC-Based Security...

Syed Khandker (New York University Abu Dhabi), Krzysztof Jurczok (Amateur Radio Operator), Christina Pöpper (New York University Abu Dhabi)

Securing the Cosmos: On the Future of Space Systems Security Research

View More Papers

Formally Verified Software Update Management System in Automotive

Copy-on-Flip: Hardening ECC Memory Against Rowhammer Attacks

Towards Privacy-Preserving Platooning Services by means of Homomorphic Encryption

COSPAS Search and Rescue Satellite Uplink: A MAC-Based Security...