Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
QPEP in the Real World: A Testbed for Secure...
Julian Huwyler (ETH Zurich), James Pavur (University of Oxford), Giorgio Tresoldi and Martin Strohmeier (Cyber-Defence Campus) Presenter: Martin Strohmeier
Read MoreTowards Automatic and Precise Heap Layout Manipulation for General-Purpose...
Runhao Li (National University of Defense Technology), Bin Zhang (National University of Defense Technology), Jiongyi Chen (National University of Defense Technology), Wenfeng Lin (National University of Defense Technology), Chao Feng (National University of Defense Technology), Chaojing Tang (National University of Defense Technology)
Read MoreAre some prices more equal than others? Evaluating store-based...
Hugo Jonker (Open University Netherlands), Stefan Karsch (TH Koln), Benjamin Krumnow (TH Koln), Godfried Meesters (Open University Netherlands)
Read MoreFormally Verified Software Update Management System in Automotive
Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)
Read More