James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
The evolution of program analysis approaches in the era...
Alex Matrosov (CEO and Founder of Binarly Inc.)
Read MoreAutomata-Based Automated Detection of State Machine Bugs in Protocol...
Paul Fiterau-Brostean (Uppsala University, Sweden), Bengt Jonsson (Uppsala University, Sweden), Konstantinos Sagonas (Uppsala University, Sweden and National Technical University of Athens, Greece), Fredrik Tåquist (Uppsala University, Sweden)
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 More