Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
Automata-Based Automated Detection of State Machine Bugs in Protocol...
Paul Fiterau-Brostean (Uppsala University, Sweden), Bengt Jonsson (Uppsala University, Sweden), Konstantinos Sagonas (Uppsala University, Sweden and National Technical University of Athens, Greece), Fredrik Tåquist (Uppsala University, Sweden)
Read MoreMachine Unlearning of Features and Labels
Alexander Warnecke (TU Braunschweig), Lukas Pirch (TU Braunschweig), Christian Wressnegger (Karlsruhe Institute of Technology (KIT)), Konrad Rieck (TU Braunschweig)
Read MoreTowards Privacy-Preserving Platooning Services by means of Homomorphic Encryption
Nicolas Quero (Expleo France), Aymen Boudguiga (CEA LIST), Renaud Sirdey (CEA LIST), Nadir Karam (Expleo France)
Read MoreEnhanced Vehicular Roll-Jam Attack using a Known Noise Source
Zachary Depp, Halit Bugra Tulay, C. Emre Koksal (The Ohio State University)
Read More