James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
dewolf: Improving Decompilation by leveraging User Surveys
Steffen Enders, Eva-Maria C. Behner, Niklas Bergmann, Mariia Rybalka, Elmar Padilla (Fraunhofer FKIE, Germany), Er Xue Hui, Henry Low, Nicholas Sim (DSO National Laboratories, Singapore)
Read MoreFormally Verified Software Update Management System in Automotive
Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)
Read MoreAssessing the Impact of Interface Vulnerabilities in Compartmentalized Software
Hugo Lefeuvre (The University of Manchester), Vlad-Andrei Bădoiu (University Politehnica of Bucharest), Yi Chen (Rice University), Felipe Huici (Unikraft.io), Nathan Dautenhahn (Rice University), Pierre Olivier (The University of Manchester)
Read More