Search results

    TitleConferenceSpeaker(s)
    Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol ProofsOSDI '24Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
    Performance Interfaces for Hardware AcceleratorsOSDI '24Jiacheng Ma, Rishabh Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea
    IronSpec: Increasing the Reliability of Formal SpecificationsOSDI '24Eli Goldweber, Weixin Yu, Seyed Armin Vakil Ghahani, Manos Kapritsos
    Identifying On-/Off-CPU Bottlenecks Together with Blocked SamplesOSDI '24Minwoo Ahn, Jeongmin Han, Youngjin Kwon, Jinkyu Jeong
    dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM ServingOSDI '24Bingyang Wu, Ruidong Zhu, Zili Zhang, Peng Sun, Xuanzhe Liu, Xin Jin
    Parrot: Efficient Serving of LLM-based Applications with Semantic VariableOSDI '24Chaofan Lin, Zhenhua Han, Chengruidong Zhang, Yuqing Yang, Fan Yang, Chen Chen, Lili Qiu
    μSlope: High Compression and Fast Search on Semi-Structured LogsOSDI '24Rui Wang, Devin Gibson, Kirk Rodrigues, Yu Luo, Yun Zhang, Kaibo Wang, Yupeng Fu, Ting Chen, Ding Yuan
    Introduction to Procedural Debugging through Binary LibificationWOOT '24Jonathan Brossard
    Exploiting Android’s Hardened Memory AllocatorWOOT '24Philipp Mao, Elias Valentin Boschung, Marcel Busch, Mathias Payer
    SLUBStick: Arbitrary Memory Writes through Practical Software Cross-Cache Attacks within the Linux KernelUSENIX Security '24Lukas Maar, Stefan Gast, Martin Unterguggenberger, Mathias Oberhuber, Stefan Mangard
    ShadowBound: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler OptimizationUSENIX Security '24Zheng Yu, Ganxiang Yang, Xinyu Xing
    Moderating Illicit Online Image Promotion for Unsafe User Generated Content Games Using Large Vision-Language ModelsUSENIX Security '24Keyan Guo, Ayush Utkarsh, Wenbo Ding, Isabelle Ondracek, Ziming Zhao, Guo Freeman, Nishant Vishwamitra, Hongxin Hu
    BeeBox: Hardening BPF against Transient Execution AttacksUSENIX Security '24Di Jin, Alexander J. Gaidis, Vasileios P. Kemerlis
    DEEPTYPE: Refining Indirect Call Targets with Strong Multi-layer Type AnalysisUSENIX Security '24Tianrou Xia, Hong Hu, Dinghao Wu
    Pandawan: Quantifying Progress in Linux-based Firmware RehostingUSENIX Security '24Ioannis Angelakopoulos, Gianluca Stringhini, Manuel Egele
    Near-Optimal Constrained Padding for Object Retrievals with DependenciesUSENIX Security '24Pranay Jain, Andrew C. Reed, Michael K. Reiter
    MUSES: Efficient Multi-User Searchable Encrypted DatabaseUSENIX Security '24Tung Le, Rouzbeh Behnia, Jorge Guajardo, Thang Hoang
    SPF Beyond the Standard: Management and Operational Challenges in Practice and Practical RecommendationsUSENIX Security '24Md. Ishtiaq Ashiq, Weitong Li, Tobias Fiebig, Taejoong Chung
    Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolized Stateful FuzzingUSENIX Security '24Yibo Wang, Yuzhe Tang, Kai Li, Wanning Ding, Zhihua Yang
    ChainReactor: Automated Privilege Escalation Chain Discovery via AI PlanningUSENIX Security '24Giulio De Pasquale, Ilya Grishchenko, Riccardo Iesari, Gabriel Pizarro, Lorenzo Cavallaro, Christopher Kruegel, Giovanni Vigna
    Max Attestation Matters: Making Honest Parties Lose Their Incentives in Ethereum PoSUSENIX Security '24Mingfei Zhang, Rujia Li, Sisi Duan
    Malla: Demystifying Real-world Large Language Model Integrated Malicious ServicesUSENIX Security '24Zilong Lin, Jian Cui, Xiaojing Liao, XiaoFeng Wang
    InSpectre Gadget: Inspecting the Residual Attack Surface of Cross-privilege Spectre v2USENIX Security '24Sander Wiebing, Alvise de Faveri Tron, Herbert Bos, Cristiano Giuffrida
    Shesha: Multi-head Microarchitectural Leakage Discovery in new-generation Intel ProcessorsUSENIX Security '24Anirban Chakraborty, Nimish Mishra, Debdeep Mukhopadhyay
    PentestGPT: Evaluating and Harnessing Large Language Models for Automated Penetration TestingUSENIX Security '24Gelei Deng, Yi Liu, Víctor Mayoral-Vilches, Peng Liu, Yuekang Li, Yuan Xu, Tianwei Zhang, Yang Liu, Martin Pinzger, Stefan Rass

    Pages

    Printable Calendar | Google Calendar