Ioana Boureanu, Stephan Wesemeyer (Surrey Centre for Cyber Security, University of Surrey)
Formally Verifying the Newest Versions of the GNSS-centric TESLA Protocol
View More Papers
Lend Me Your Beam: Privacy Implications of Plaintext Beamforming...
Rui Xiao (Zhejiang University), Xiankai Chen (Zhejiang University), Yinghui He (Nanyang Technological University), Jun Han (KAIST), Jinsong Han (Zhejiang University)
Read MoreOn Requirements and Concepts for TT&C Link Key Management
Christoph Bader (Airbus Defence & Space GmbH)
Read MoreVeriBin: Adaptive Verification of Patches at the Binary Level
Hongwei Wu (Purdue University), Jianliang Wu (Simon Fraser University), Ruoyu Wu (Purdue University), Ayushi Sharma (Purdue University), Aravind Machiry (Purdue University), Antonio Bianchi (Purdue University)
Read MoreRContainer: A Secure Container Architecture through Extending ARM CCA...
Qihang Zhou (Institute of Information Engineering,Chinese Academy of Sciences), Wenzhuo Cao (Institute of Information Engineering,Chinese Academy of Sciences;School of Cyberspace Security, University of Chinese Academy of Sciences), Xiaoqi Jia (Institute of Information Engineering,Chinese Academy of Sciences), Peng Liu (The Pennsylvania State University, USA), Shengzhi Zhang (Department of Computer Science, Metropolitan College, Boston University, USA), Jiayun…
Read More