James Pavur
Securing the Cosmos: On the Future of Space Systems Security Research
View More Papers
Tactics, Threats & Targets: Modeling Disinformation and its Mitigation
Shujaat Mirza (New York University), Labeeba Begum (New York University Abu Dhabi), Liang Niu (New York University), Sarah Pardo (New York University Abu Dhabi), Azza Abouzied (New York University Abu Dhabi), Paolo Papotti (EURECOM), Christina Pöpper (New York University Abu Dhabi)
Read MoreThe “Beatrix” Resurrections: Robust Backdoor Detection via Gram Matrices
Wanlun Ma (Swinburne University of Technology), Derui Wang (CSIRO’s Data61), Ruoxi Sun (The University of Adelaide & CSIRO's Data61), Minhui Xue (CSIRO's Data61), Sheng Wen (Swinburne University of Technology), Yang Xiang (Digital Research & Innovation Capability Platform, Swinburne University of Technology)
Read MorePorting NASA's core Flight System to the Formally Verified...
Juliana Furgala, Samuel Jero, Andrea Lin, Rick Skowyra (MIT Lincoln Laboratory)
Read MoreBlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain...
Xiao Yi (The Chinese University of Hong Kong), Yuzhou Fang (The Chinese University of Hong Kong), Daoyuan Wu (The Chinese University of Hong Kong), Lingxiao Jiang (Singapore Management University)
Read More