Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
SynthDB: Synthesizing Database via Program Analysis for Security Testing...
An Chen (University of Georgia), Jiho Lee (University of Virginia), Basanta Chaulagain (University of Georgia), Yonghwi Kwon (University of Virginia), Kyu Hyung Lee (University of Georgia)
Read MoreLocation Spoofing Attacks on Autonomous Fleets
Jinghan Yang, Andew Estornell, Yevgeniy Vorobeychik (Washington University in St. Louis)
Read MoreAn OS-agnostic Approach to Memory Forensics
Andrea Oliveri (EURECOM), Matteo Dell'Amico (University of Genoa), Davide Balzarotti (EURECOM)
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