Search results

    TitleConferenceSpeaker(s)
    Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C DecompilersUSENIX ATC '25Zao Yang, Stefan Nagy
    SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ ProgramsOSDI '21Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su
    Reality Check on Side-Channels: Lessons learnt from breaking AES on ARM Cortex-A72 processor with Out-of-Order ExecutionWOOT '25Harishma Boyapally, Dirmanto Jap, Qianmei Wu, Fan Zhang, Shivam Bhasin
    Chop Chop: Byzantine Atomic Broadcast to the Network LimitOSDI '24Martina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron
    Userspace Bypass: Accelerating Syscall-intensive ApplicationsOSDI '23Zhe Zhou, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li
    DevOps Patterns Distilled: A Fifteen Year Study of High Performing IT OrganizationsLISA14Gene Kim
    Bridging Storage and Execution: A Semantic Virtual Bus for On-Demand Application StreamingNSDI '26Jun Lu, Jialin Li, Yaoxue Zhang, Ju Ren
    PrvTel: Lightweight Models for Private and Accurate Telemetry Data RetentionNSDI '26Yajie Zhou, Fuheng Zhao, Eric Wang, Ayse K. Coskun, Divyakant Agrawal, Amr El Abbadi, Zaoxing Liu
    Privacy Review for Non-ManiacsPEPR '26Katriel Cohn-Gordon
    Auditing Data Privacy for Machine LearningEnigma 2022Reza Shokri
    TANGO: Secure Collaborative Route Control across the Public InternetNSDI '24Henry Birge-Lee, Sophia Yoo, Benjamin Herber, Jennifer Rexford, Maria Apostolaki
    Medical Device Cybersecurity through the FDA LensUSENIX Security '18Suzanne B. Schwartz
    SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical MannerUSENIX Security '25Xunguang Wang, Daoyuan Wu, Zhenlan Ji, Zongjie Li, Pingchuan Ma, Shuai Wang, Yingjiu Li, Yang Liu, Ning Liu, Juergen Rahmel
    Stork: Package Management for Distributed VM EnvironmentsLISA '07Justin Cappos, Scott Baker, Jeremy Plichta, Duy Nyugen, Jason Hardies, Matt Borgard, Jeffry Johnston, John H. Hartman
    Human ComputationUSENIX ATC '07Luis von Ahn
    Privilege Messaging: An Authorization Framework over Email Infrastructure LISA '06Brent ByungHoon Kang, Gautam Singaraju, Sumeet Jain
    Protecting Users by Confining JavaScript with COWLOSDI '14Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, Dave Herman, Brad Karp, David Mazieres
    Code-Pointer IntegrityOSDI '14Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song
    Stealing the Best Ideas from DevOps: A Guide for Sysadmins without DevelopersLISA16Thomas Limoncelli, Christina Hogan
    Developing a Science of Internet Censorship Resistance: Opportunities and Challenges for Network MeasurementEnigma 2018Phillipa Gill
    Working with Third Parties Shouldn't SuckSREcon18 AmericasJonathan Mercereau
    Monitoring DNS with Open-Source SolutionsSREcon18 AmericasFelipe Espinoza, Javier Bustos
    NetSMC: A Custom Symbolic Model Checker for Stateful Network VerificationNSDI '20Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar
    How Risky Are Real Users' IFTTT Applets?SOUPS 2020Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia
    An Exploratory Study of Hardware Reverse Engineering — Technical and Cognitive ProcessesSOUPS 2020Steffen Becker, Carina Wiesen, Nils Albartus, Nikol Rummel, Christof Paar

    Pages