Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
Analysing Adversarial Threats to Rule-Based Local-Planning Algorithms for Autonomous...
Andrew Roberts (Tallinn University of Technology), Mohsen Malayjerdi (Tallinn University of Technology), Mauro Bellone (Tallinn University of Technology), Olaf Maennel (The University of Adelaide), Ehsan Malayjerdi (Tallinn University of Technology)
Read MoreReminding Drivers of the Stalking Vehicles on the Road
Wei Sun, Kannan Srinivsan (The Ohio State University)
Read MoreAutomata-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 More