James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
Automata-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 MoreHe-HTLC: Revisiting Incentives in HTLC
Sarisht Wadhwa (Duke University), Jannis Stoeter (Duke University), Fan Zhang (Duke University, Yale University), Kartik Nayak (Duke University)
Read MoreThreats Against Satellite Ground Infrastructure: A retrospective analysis of...
Jessie Hamill-Stewart (University of Bristol and University of Bath), Awais Rashid (University of Bristol)
Read More