Juliana Furgala, Samuel Jero, Andrea Lin, Rick Skowyra (MIT Lincoln Laboratory)
Porting NASA's core Flight System to the Formally Verified seL4 Microkernel
View More Papers
Adopt a PET! An Exploration of PETs, Policy, and...
Masoumeh Shafieinejad (Vector Institute), Xi He (Vector Institute and Univesity of Waterloo), Bailey Kacsmar (Amii & University of Alberta)
Read MoreFuzzing Space Communication Protocols
Stephan Havermans (IMDEA Software Institute), Lars Baumgaertner, Jussi Roberts, Marcus Wallum (European Space Agency), Juan Caballero (IMDEA Software Institute)
Read MoreUsability Issues in Differential Privacy Libraries: A Study from...
Ravi Mahankali (University of Bristol), Jo Hallett (University of Bristol)
Read MoreLeoCommon – A Ground Station Observatory Network for LEO...
Eric Jedermann, Martin Böh (University of Kaiserslautern), Martin Strohmeier (armasuisse Science & Technology), Vincent Lenders (Cyber-Defence Campus, armasuisse Science & Technology), Jens Schmitt (University of Kaiserslautern)
Read More