Search results

    TitleConferenceSpeaker(s)
    fTPM: A Software-Only Implementation of a TPM ChipUSENIX Security '16Himanshu Raj, Stefan Saroiu, Alec Wolman, Ronald Aigner, Jeremiah Cox, Paul England, Chris Fenner, Kinshuman Kinshumann, Jork Loeser, Dennis Mattoon, Magnus Nystrom, David Robinson, Rob Spiger, Stefan Thom, David Wooten
    The Cut-and-Choose Game and Its Application to Cryptographic ProtocolsUSENIX Security '16Ruiyu Zhu, Yan Huang, Jonathan Katz, Abhi Shelat
    ROTE: Rollback Protection for Trusted ExecutionUSENIX Security '17Sinisa Matetic, Mansoor Ahmed, Kari Kostiainen, Aritra Dhar, David Sommer, Arthur Gervais, Ari Juels, Srdjan Capkun
    Attacking the Brain: Races in the SDN Control PlaneUSENIX Security '17Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang, Guofei Gu
    How Do Tor Users Interact With Onion Services?USENIX Security '18Philipp Winter, Anne Edmundson, Laura M. Roberts, Agnieszka Dutkowska-Żuk, Marshini Chetty, Nick Feamster
    Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) CodeUSENIX Security '20Fraser Brown, Deian Stefan, Dawson Engler
    Data Poisoning Attacks to Local Differential Privacy ProtocolsUSENIX Security '21Xiaoyu Cao, Jinyuan Jia, Neil Zhenqiang Gong
    Graph BackdoorUSENIX Security '21Zhaohan Xi, Ren Pang, Shouling Ji, Ting Wang
    Araña: Discovering and Characterizing Password Guessing Attacks in PracticeUSENIX Security '23Mazharul Islam, Marina Sanusi Bohuk, Paul Chung, Thomas Ristenpart, Rahul Chatterjee
    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
    ppSAT: Towards Two-Party Private SAT SolvingUSENIX Security '22Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
    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
    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
    Inference of Error Specifications and Bug Detection Using Structural SimilaritiesUSENIX Security '24Nora Dossche, Bart Coppens
    LISA Quiz ShowLISA '08Jeremy Allison
    Secure Software Updates: Not ReallyUSENIX Security '06Kevin Fu
    What We Want Is 90% the Same: Using Your Relationship with Security for Fun and ProfitSREcon24 AmericasLea Kissner
    Privacy Challenges for Wireless Medical DevicesHealthSec '10Brent Lagesse
    An Anonymous Health Care SystemHealthSec '10Melissa Chase, Kristin Lauter
    UnFaaSener: Latency and Cost Aware Offloading of Functions from Serverless PlatformsUSENIX ATC '23Ghazal Sadeghian, Mohamed Elsakhawy, Mohanna Shahrad, Joe Hattori, Mohammad Shahrad
    "Staying Happy in System Administration" PresentationWiAC '12

    Pages

    Printable Calendar | Google Calendar