Search results

    TitleConferenceSpeaker(s)
    Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-GrothUSENIX Security '23Thomas Haines, Rajeev Gore, Mukesh Tiwari
    Formal Analysis and Patching of BLE-SC PairingUSENIX Security '23Min Shi, Jing Chen, Kun He, Haoran Zhao, Meng Jia, Ruiying Du
    Efficient Unbalanced Private Set Intersection Cardinality and User-friendly Privacy-preserving Contact TracingUSENIX Security '23Mingli Wu, Tsz Hon Yuen
    Hard-label Black-box Universal Adversarial Patch AttackUSENIX Security '23Guanhong Tao, Shengwei An, Siyuan Cheng, Guangyu Shen, Xiangyu Zhang
    Automatic Techniques to Systematically Discover New Heap Exploitation PrimitivesUSENIX Security '20Insu Yun, Dhaval Kapil, Taesoo Kim
    Temporal System Call Specialization for Attack Surface ReductionUSENIX Security '20Seyedhamed Ghavamnia, Tapti Palit, Shachee Mishra, Michalis Polychronakis
    ppSAT: Towards Two-Party Private SAT SolvingUSENIX Security '22Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
    In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer AuthenticationUSENIX Security '22Sungbae Yoo, Jinbum Park, Seolheui Kim, Yeji Kim, Taesoo Kim
    Batched Differentially Private Information RetrievalUSENIX Security '22Kinan Dak Albab, Rawane Issa, Mayank Varia, Kalman Graffi
    A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
    HECO: Fully Homomorphic Encryption CompilerUSENIX Security '23Alexander Viand, Patrick Jattke, Miro Haller, Anwar Hithnawi
    Erebus: Access Control for Augmented Reality SystemsUSENIX Security '23Yoonsang Kim, Sanket Goutam, Amir Rahmati, Arie Kaufman
    Spill the TeA: An Empirical Study of Trusted Application Rollback Prevention on Android SmartphonesUSENIX Security '24Marcel Busch, Philipp Mao, Mathias Payer
    BeeBox: Hardening BPF against Transient Execution AttacksUSENIX Security '24Di Jin, Alexander J. Gaidis, Vasileios P. Kemerlis
    Building a One-Time-Password Token Authentication InfrastructureLISA14Jonathan Hanks, Abe Singer
    Keep it Simple, Stupid: Why the Usual Password Policies Don't Work, and What to Do About ItLISA14Abe Singer, Warren Anderson
    Inference of Error Specifications and Bug Detection Using Structural SimilaritiesUSENIX Security '24Nora Dossche, Bart Coppens
    Threat modeling state of practice in Dutch organizationsSOUPS 2024Stef Verreydt, Koen Yskout, Laurens Sion, Wouter Joosen
    Cataloging and Comparing Logging Mechanism Specifications for Electronic Health Record SystemsHealthTech '13Jason King, Laurie Williams
    Managing Server Secrets at Scale with a Vaultless Password ManagerSREcon17 AsiaIgnat Korchagin
    "I don't own the data": End User Perceptions of Smart Home Device Data Practices and RisksSOUPS 2019Madiha Tabassum, Tomasz Kosinski, Heather Richter Lipford
    Transparent Microsegmentation in Smart Home IoT NetworksHotEdge '20Amr Osman, Armin Wasicek, Stefan Köpsell, Thorsten Strufe
    Understanding Privacy Attitudes and Concerns Towards Remote Communications During the COVID-19 PandemicSOUPS 2021Pardis Emami-Naeini, Tiona Francisco, Tadayoshi Kohno, Franziska Roesner
    Multicloud and the Chamber of SecretsSREcon23 Asia/PacificMichael Kehoe
    Breaking Espressif’s ESP32 V3: Program Counter Control with Computed Values using Fault InjectionWOOT '24Jeroen Delvaux, Cristofaro Mune, Mario Romero, Niek Timmers

    Pages

    Printable Calendar | Google Calendar