Search results

    TitleConferenceSpeaker(s)
    Meta-Sift: How to Sift Out a Clean Subset in the Presence of Data Poisoning?USENIX Security '23Yi Zeng, Minzhou Pan, Himanshu Jahagirdar, Ming Jin, Lingjuan Lyu, Ruoxi Jia
    Silent Bugs Matter: A Study of Compiler-Introduced Security BugsUSENIX Security '23Jianhao Xu, Kangjie Lu, Zhengjie Du, Zhu Ding, Linke Li, Qiushi Wu, Mathias Payer, Bing Mao
    IvySyn: Automated Vulnerability Discovery in Deep Learning FrameworksUSENIX Security '23Neophytos Christou, Di Jin, Vaggelis Atlidakis, Baishakhi Ray, Vasileios P. Kemerlis
    Trojan Source: Invisible VulnerabilitiesUSENIX Security '23Nicholas Boucher, Ross Anderson
    ARMore: Pushing Love Back Into BinariesUSENIX Security '23Luca Di Bartolomeo, Hossein Moghaddas, Mathias Payer
    ProSpeCT: Provably Secure Speculation for the Constant-Time PolicyUSENIX Security '23Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
    How the Great Firewall of China Detects and Blocks Fully Encrypted TrafficUSENIX Security '23Mingshi Wu, Jackson Sippe, Danesh Sivakumar, Jack Burg, Peter Anderson, Xiaokang Wang, Kevin Bock, Amir Houmansadr, Dave Levin, Eric Wustrow
    Pool-Party: Exploiting Browser Resource Pools for Web TrackingUSENIX Security '23Peter Snyder, Soroush Karami, Arthur Edelstein, Benjamin Livshits, Hamed Haddadi
    Ultimate SLH: Taking Speculative Load Hardening to the Next LevelUSENIX Security '23Zhiyuan Zhang, Gilles Barthe, Chitchanok Chuengsatiansup, Peter Schwabe, Yuval Yarom
    We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session TicketsUSENIX Security '23Sven Hebrok, Simon Nachtigall, Marcel Maehren, Nurullah Erinola, Robert Merget, Juraj Somorovsky, Jörg Schwenk
    Duoram: A Bandwidth-Efficient Distributed ORAM for 2- and 3-Party ComputationUSENIX Security '23Adithya Vadapalli, Ryan Henry, Ian Goldberg
    Lost at C: A User Study on the Security Implications of Large Language Model Code AssistantsUSENIX Security '23Gustavo Sandoval, Hammond Pearce, Teo Nys, Ramesh Karri, Siddharth Garg, Brendan Dolan-Gavitt
    TreeSync: Authenticated Group Management for Messaging Layer SecurityUSENIX Security '23Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
    Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to ConversationsUSENIX Security '23Cas Cremers, Charlie Jacomme, Aurora Naska
    HOLMES: Efficient Distribution Testing for Secure Collaborative LearningUSENIX Security '23Ian Chang, Katerina Sotiraki, Weikeng Chen, Murat Kantarcioglu, Raluca Popa
    PrivateFL: Accurate, Differentially Private Federated Learning via Personalized Data TransformationUSENIX Security '23Yuchen Yang, Bo Hui, Haolin Yuan, Neil Gong, Yinzhi Cao
    Controlled Data Races in Enclaves: Attacks and DetectionUSENIX Security '23Sanchuan Chen, Zhiqiang Lin, Yinqian Zhang
    autofz: Automated Fuzzer Composition at RuntimeUSENIX Security '23Yu-Fu Fu, Jaehyuk Lee, Taesoo Kim
    Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, & Practical Key ManagementUSENIX Security '23Vivek Nair, Dawn Song
    Every Vote Counts: Ranking-Based Training of Federated Learning to Resist Poisoning AttacksUSENIX Security '23Hamid Mozaffari, Virat Shejwalkar, Amir Houmansadr
    XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via Computing TomographyUSENIX Security '23Zhiyuan Yu, Yuanhaur Chang, Shixuan Zhai, Nicholas Deily, Tao Ju, XiaoFeng Wang, Uday Jammalamadaka, Ning Zhang
    Eos: Efficient Private Delegation of zkSNARK ProversUSENIX Security '23Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, Yinuo Zhang
    Formal Analysis of SPDM: Security Protocol and Data Model version 1.2USENIX Security '23Cas Cremers, Alexander Dax, Aurora Naska
    BunnyHop: Exploiting the Instruction PrefetcherUSENIX Security '23Zhiyuan Zhang, Mingtian Tao, Sioli O'Connell, Chitchanok Chuengsatiansup, Daniel Genkin, Yuval Yarom
    ACon^2: Adaptive Conformal Consensus for Provable Blockchain OraclesUSENIX Security '23Sangdon Park, Osbert Bastani, Taesoo Kim

    Pages

    Printable Calendar | Google Calendar