Multimedia | USENIX

Search results

Title	Conference	Speaker(s)
TVA: A multi-party computation system for secure and expressive time series analytics	USENIX Security '23	Muhammad Faisal, Jerry Zhang, John Liagouris, Vasiliki Kalavri, Mayank Varia
VeriFlow: Verifying Network-Wide Invariants in Real Time	NSDI '13	Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, P. Brighten Godfrey
ArrayTrack: A Fine-Grained Indoor Location System	NSDI '13	Jie Xiong, Kyle Jamieson
Walkie-Markie: Indoor Pathway Mapping Made Easy	NSDI '13	Guobin Shen, Zhuo Chen, Peichao Zhang, Thomas Moscibroda, Yongguang Zhang
Verified Correctness and Security of OpenSSL HMAC	USENIX Security '15	Lennart Beringer, Adam Petcher, Katherine Q. Ye, Andrew W. Appel
MCMix: Anonymous Messaging via Secure Multiparty Computation	USENIX Security '17	Nikolaos Alexopoulos, Aggelos Kiayias, Riivo Talviste, Thomas Zacharias
Secure Floating-Point Training	USENIX Security '23	Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolized Stateful Fuzzing	USENIX Security '24	Yibo Wang, Yuzhe Tang, Kai Li, Wanning Ding, Zhihua Yang
PKU Pitfalls: Attacks on PKU-based Memory Isolation Systems	USENIX Security '20	Emma Connor, Tyler McDaniel, Jared M. Smith, Max Schuchard
A Large-scale Temporal Measurement of Android Malicious Apps: Persistence, Migration, and Lessons Learned	USENIX Security '22	Yun Shen, Pierre-Antoine Vervier, Gianluca Stringhini
Orbital Trust and Privacy: SoK on PKI and Location Privacy Challenges in Space Networks	USENIX Security '24	David Koisser, Richard Mitev, Nikita Yadav, Franziska Vollmer, Ahmad-Reza Sadeghi
Endokernel: A Thread Safe Monitor for Lightweight Subprocess Isolation	USENIX Security '24	Fangfei Yang, Bumjin Im, Weijie Huang, Kelly Kaoudis, Anjo Vahldiek-Oberwagner, Chia-Che Tsai, Nathan Dautenhahn
Using Formal Methods to Eliminate Exploitable Bugs	USENIX Security '15	Kathleen Fisher
Practical DIFC Enforcement on Android	USENIX Security '16	Adwait Nadkarni, Benjamin Andow, William Enck, Somesh Jha
Droplet: Decentralized Authorization and Access Control for Encrypted Data Streams	USENIX Security '20	Hossein Shafagh, Lukas Burkhalter, Sylvia Ratnasamy, Anwar Hithnawi
The Guard's Dilemma: Efficient Code-Reuse Attacks Against Intel SGX	USENIX Security '18	Andrea Biondo, Mauro Conti, Lucas Davi, Tommaso Frassetto, Ahmad-Reza Sadeghi
Security and SRE: Natural Force Multipliers	SREcon18 Americas	Cory Scott
Mining Your Ps and Qs: Detection of Widespread Weak Keys in Network Devices	USENIX Security '12	Nadia Heninger, Zakir Durumeric, Eric Wustrow, J. Alex Halderman
Human-Seeded Attacks and Exploiting Hot-Spots in Graphical Passwords	USENIX Security '07	Julie Thorpe, P.C. van Oorschot
Too Good to Be Safe: Tricking Lane Detection in Autonomous Driving with Crafted Perturbations	USENIX Security '21	Pengfei Jing, Qiyi Tang, Yuefeng Du, Lei Xue, Xiapu Luo, Ting Wang, Sen Nie, Shi Wu
Acquisitional Rule-based Engine for Discovering Internet-of-Things Devices	USENIX Security '18	Xuan Feng, Qiang Li, Haining Wang, Limin Sun
Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities	USENIX Security '24	Emre Güler, Sergej Schumilo, Moritz Schloegel, Nils Bars, Philipp Görz, Xinyi Xu, Cemal Kaygusuz, Thorsten Holz
Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning	USENIX Security '20	Ahmed Salem, Apratim Bhattacharya, Michael Backes, Mario Fritz, Yang Zhang
AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning	USENIX Security '24	Vasudev Gohil, Satwik Patnaik, Dileep Kalathil, Jeyavijayan Rajendran
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging	USENIX Security '24	Karthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe Schmidt

Pages

Printable Calendar | Google Calendar