Search results

    TitleConferenceSpeaker(s)
    Succinct Non-Interactive Zero Knowledge for a von Neumann ArchitectureUSENIX Security '14Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
    Reassembleable DisassemblingUSENIX Security '15Shuai Wang, Pei Wang, Dinghao Wu
    TaintPipe: Pipelined Symbolic Taint AnalysisUSENIX Security '15Jiang Ming, Dinghao Wu, Gaoyao Xiao, Jun Wang, Peng Liu
    Mirror: Enabling Proofs of Data Replication and Retrievability in the CloudUSENIX Security '16Frederik Armknecht, Ludovic Barman, Jens-Matthias Bohli, Ghassan O. Karame
    Ariadne: A Minimal Approach to State ContinuityUSENIX Security '16Raoul Strackx, Frank Piessens
    On Demystifying the Android Application Framework: Re-Visiting Android Permission Specification AnalysisUSENIX Security '16Michael Backes, Sven Bugiel, Erik Derr, Patrick McDaniel, Damien Octeau, Sebastian Weisgerber
    AutoLock: Why Cache Attacks on ARM Are Harder Than You ThinkUSENIX Security '17Marc Green, Leandro Rodrigues-Lima, Andreas Zankl, Gorka Irazoqui, Johann Heyszl, Thomas Eisenbarth
    Dead Store Elimination (Still) Considered HarmfulUSENIX Security '17Zhaomo Yang, Brian Johannesmeyer, Anders Trier Olesen, Sorin Lerner, Kirill Levchenko
    End-to-End Measurements of Email Spoofing AttacksUSENIX Security '18Hang Hu, Gang Wang
    Malicious Management Unit: Why Stopping Cache Attacks in Software is Harder Than You ThinkUSENIX Security '18Stephan van Schaik, Cristiano Giuffrida, Herbert Bos, Kaveh Razavi
    CLARION: Sound and Clear Provenance Tracking for Microservice DeploymentsUSENIX Security '21Xutong Chen, Hassaan Irshad, Yan Chen, Ashish Gehani, Vinod Yegneswaran
    MOVERY: A Precise Approach for Modified Vulnerable Code Clone Discovery from Modified Open-Source Software ComponentsUSENIX Security '22Seunghoon Woo, Hyunji Hong, Eunjin Choi, Heejo Lee
    PatchVerif: Discovering Faulty Patches in Robotic VehiclesUSENIX Security '23Hyungsub Kim, Muslum Ozgur Ozmen, Z. Berkay Celik, Antonio Bianchi, Dongyan Xu
    An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong DetectionUSENIX Security '24Shenao Yan, Shen Wang, Yue Duan, Hanbin Hong, Kiho Lee, Doowon Kim, Yuan Hong
    Retrofitting Fine Grain Isolation in the Firefox RendererUSENIX Security '20Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
    A Large-scale Investigation into Geodifferences in Mobile AppsUSENIX Security '22Renuka Kumar, Apurva Virkud, Ram Sundara Raman, Atul Prakash, Roya Ensafi
    D-Helix: A Generic Decompiler Testing Framework Using Symbolic DifferentiationUSENIX Security '24Muqi Zou, Arslan Khan, Ruoyu Wu, Han Gao, Antonio Bianchi, Dave (Jing) Tian
    MOAT: Towards Safe BPF Kernel ExtensionUSENIX Security '24Hongyi Lu, Shuai Wang, Yechang Wu, Wanning He, Fengwei Zhang
    Rethinking the Security Threats of Stale DNS Glue RecordsUSENIX Security '24Yunyi Zhang, Baojun Liu, Haixin Duan, Min Zhang, Xiang Li, Fan Shi, Chengxi Xu, Eihal Alowaisheq
    GridSE: Towards Practical Secure Geographic Search via Prefix Symmetric Searchable EncryptionUSENIX Security '24Ruoyang Guo, Jiarui Li, Shucheng Yu
    CARDSHARK: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the OddsUSENIX Security '24Tianshuo Han, Xiaorui Gong, Jian Liu
    Towards Automatically Reverse Engineering Vehicle Diagnostic ProtocolsUSENIX Security '22Le Yu, Yangyang Liu, Pengfei Jing, Xiapu Luo, Lei Xue, Kaifa Zhao, Yajin Zhou, Ting Wang, Guofei Gu, Sen Nie, Shi Wu
    Optimally Robust Private Information RetrievalUSENIX Security '12Casey Devet, Ian Goldberg, Nadia Heninger
    SHA-1 is a Shambles: First Chosen-Prefix Collision on SHA-1 and Application to the PGP Web of TrustUSENIX Security '20Gaëtan Leurent, Thomas Peyrin
    Union under Duress: Understanding Hazards of Duplicate Resource Mismediation in Android Software Supply ChainUSENIX Security '23Xueqiang Wang, Yifan Zhang, XiaoFeng Wang, Yan Jia, Luyi Xing

    Pages