James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
Formally Verifying the Newest Versions of the GNSS-centric TESLA...
Ioana Boureanu, Stephan Wesemeyer (Surrey Centre for Cyber Security, University of Surrey)
Read MoreEfficient Dynamic Proof of Retrievability for Cold Storage
Tung Le (Virginia Tech), Pengzhi Huang (Cornell University), Attila A. Yavuz (University of South Florida), Elaine Shi (CMU), Thang Hoang (Virginia Tech)
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 MoreNo Grammar, No Problem: Towards Fuzzing the Linux Kernel...
Alexander Bulekov (Boston University), Bandan Das (Red Hat), Stefan Hajnoczi (Red Hat), Manuel Egele (Boston University)
Read More