Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
Using automation to prevent internet exposures becoming incidents
Johnathan Wilkes, Palo Alto Networks
Read MoreFine-Grained Trackability in Protocol Executions
Ksenia Budykho (Surrey Centre for Cyber Security, University of Surrey, UK), Ioana Boureanu (Surrey Centre for Cyber Security, University of Surrey, UK), Steve Wesemeyer (Surrey Centre for Cyber Security, University of Surrey, UK), Daniel Romero (NCC Group), Matt Lewis (NCC Group), Yogaratnam Rahulan (5G/6G Innovation Centre - 5GIC/6GIC, University of Surrey, UK), Fortunat Rajaona (Surrey…
Read MoreKeynote: Cybersecurity Experimentation of the Future
Jelena Mirkovic (USC Information Sciences Institute)
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