James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey...
Mohit Kumar Jangid (The Ohio State University), Yue Zhang (Computer Science & Engineering, Ohio State University), Zhiqiang Lin (The Ohio State University)
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 MoreUser Attitudes Towards Controls for Ad Interests Estimated On-device...
Florian Lachner, Minzhe Yuan Chen Cheng, Theodore Olsauskas-Warren (Google)
Read MoreOrbID: Identifying Orbcomm Satellite RF Fingerprints
Cédric Solenthaler (ETH Zurich), Joshua Smailes (University of Oxford), Martin Strohmeier (armasuisse Science & Technology)
Read More