Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
Formally Verified Software Update Management System in Automotive
Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)
Read MoreParakeet: Practical Key Transparency for End-to-End Encrypted Messaging
Harjasleen Malvai (UIUC/IC3), Lefteris Kokoris-Kogias (IST Austria), Alberto Sonnino (Mysten Labs), Esha Ghosh (Microsoft Research), Ercan Oztürk (Meta), Kevin Lewi (Meta), Sean Lawlor (Meta)
Read MoreShort: Certifiably Robust Perception Against Adversarial Patch Attacks: A...
Chong Xiang (Princeton University), Chawin Sitawarin (University of California, Berkeley), Tong Wu (Princeton University), Prateek Mittal (Princeton University)
Read MoreHope of Delivery: Extracting User Locations From Mobile Instant...
Theodor Schnitzler (Research Center Trustworthy Data Science and Security, TU Dortmund, and Ruhr-Universität Bochum), Katharina Kohls (Radboud University), Evangelos Bitsikas (Northeastern University and New York University Abu Dhabi), Christina Pöpper (New York University Abu Dhabi)
Read More