James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
BARS: Local Robustness Certification for Deep Learning based Traffic...
Kai Wang (Tsinghua University), Zhiliang Wang (Tsinghua University), Dongqi Han (Tsinghua University), Wenqi Chen (Tsinghua University), Jiahai Yang (Tsinghua University), Xingang Shi (Tsinghua University), Xia Yin (Tsinghua University)
Read MoreThe 1-RTT Penalty: Quantifying the Recurring Cost of PQC...
Young Eun Kwon (Korea University), Ji Won Yoon (Korea University)
Read MoreFormally Verifying the Newest Versions of the GNSS-centric TESLA...
Ioana Boureanu, Stephan Wesemeyer (Surrey Centre for Cyber Security, University of Surrey)
Read More