Search results

    TitleConferenceSpeaker(s)
    Leveraging Semantic Relations in Code and Data to Enhance Taint Analysis of Embedded SystemsUSENIX Security '24Jiaxu Zhao, Yuekang Li, Yanyan Zou, Zhaohui Liang, Yang Xiao, Yeting Li, Bingwei Peng, Nanyu Zhong, Xinyi Wang, Wei Wang, Wei Huo
    Raccoon: Closing Digital Side-Channels through Obfuscated ExecutionUSENIX Security '15Ashay Rane, Calvin Lin, Mohit Tiwari
    Thermal Covert Channels on Multi-core PlatformsUSENIX Security '15Ramya Jayaram Masti, Devendra Rai, Aanjhan Ranganathan, Christian Müller, Lothar Thiele, Srdjan Capkun
    Under-Constrained Symbolic Execution: Correctness Checking for Real CodeUSENIX Security '15David A. Ramos, Dawson Engler
    DIZK: A Distributed Zero Knowledge Proof SystemUSENIX Security '18Howard Wu, Wenting Zheng, Alessandro Chiesa, Raluca Ada Popa, Ion Stoica
    Debloating Software through Piece-Wise Compilation and LoadingUSENIX Security '18Anh Quach, Aravind Prakash, Lok Yan
    Detecting Stuffing of a User’s Credentials at Her Own AccountsUSENIX Security '20Ke Coby Wang, Michael K. Reiter
    FlowDist: Multi-Staged Refinement-Based Dynamic Information Flow Analysis for Distributed Software SystemsUSENIX Security '21Xiaoqin Fu, Haipeng Cai
    VerLoc: Verifiable Localization in Decentralized SystemsUSENIX Security '22Katharina Kohls, Claudia Diaz
    Reversing, Breaking, and Fixing the French Legislative Election E-Voting ProtocolUSENIX Security '23Alexandre Debant, Lucca Hirschi
    ShadowBound: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler OptimizationUSENIX Security '24Zheng Yu, Ganxiang Yang, Xinyu Xing
    Devil’s Whisper: A General Approach for Physical Adversarial Attacks against Commercial Black-box Speech Recognition DevicesUSENIX Security '20Yuxuan Chen, Xuejing Yuan, Jiangshan Zhang, Yue Zhao, Shengzhi Zhang, Kai Chen, XiaoFeng Wang
    d-DSE: Distinct Dynamic Searchable Encryption Resisting Volume Leakage in Encrypted DatabasesUSENIX Security '24Dongli Liu, Wei Wang, Peng Xu, Laurence T. Yang, Bo Luo, Kaitai Liang
    SHELTER: Extending Arm CCA with Isolation in User SpaceUSENIX Security '23Yiming Zhang, Yuxin Hu, Zhenyu Ning, Fengwei Zhang, Xiapu Luo, Haoyang Huang, Shoumeng Yan, Zhengyu He
    Cloudy with a Chance of Breach: Forecasting Cyber Security IncidentsUSENIX Security '15Yang Liu, Armin Sarabi, Jing Zhang, Parinaz Naghizadeh, Manish Karir, Michael Bailey, Mingyan Liu
    NetHide: Secure and Practical Network Topology ObfuscationUSENIX Security '18Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin Vechev
    Panda: Security Analysis of Algorand Smart ContractsUSENIX Security '23Zhiyuan Sun, Xiapu Luo, Yinqian Zhang
    Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language SpecificationsUSENIX Security '24Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Ali Ranjbar, Kai Tu, Tianwei Wu, Zhezheng Song, Weixuan Wang, Mujtahid Akon, Rui Zhang, Syed Rafiul Hussain
    On the Security Risks of AutoMLUSENIX Security '22Ren Pang, Zhaohan Xi, Shouling Ji, Xiapu Luo, Ting Wang
    AMD Prefetch Attacks through Power and TimeUSENIX Security '22Moritz Lipp, Daniel Gruss, Michael Schwarz
    Repurposing Segmentation as a Practical LVI-NULL Mitigation in SGXUSENIX Security '22Lukas Giner, Andreas Kogler, Claudio Canella, Michael Schwarz, Daniel Gruss
    Half-Double: Hammering From the Next Row OverUSENIX Security '22Andreas Kogler, Jonas Juffinger, Salman Qazi, Yoongu Kim, Moritz Lipp, Nicolas Boichat, Eric Shiu, Mattias Nissler, Daniel Gruss
    On Breaking SAML: Be Whoever You Want to BeUSENIX Security '12Juraj Somorovsky, Andreas Mayer, Jörg Schwenk, Marco Kampmann, Meiko Jensen
    Whispers in the Hyper-space: High-speed Covert Channel Attacks in the CloudUSENIX Security '12Zhenyu Wu, Zhang Xu, Haining Wang
    Peeking into Your App without Actually Seeing It: UI State Inference and Novel Android AttacksUSENIX Security '14Qi Alfred Chen, Zhiyun Qian, Z. Morley Mao

    Pages