Ensuring Safety and Facilitating Research on the Live Tor Network

Learning Automated Defense Strategies Using Graph-Based Cyber Attack Simulations

Jakob Nyber, Pontus Johnson (KTH Royal Institute of Technology)

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)

podft: On Accelerating Dynamic Taint Analysis with Precise Path...

Zhiyou Tian (Xidian University), Cong Sun (Xidian University), Dongrui Zeng (Palo Alto Networks), Gang Tan (Pennsylvania State University)

Ensuring Safety and Facilitating Research on the Live Tor Network

View More Papers

Learning Automated Defense Strategies Using Graph-Based Cyber Attack Simulations

Automata-Based Automated Detection of State Machine Bugs in Protocol...

podft: On Accelerating Dynamic Taint Analysis with Precise Path...