Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
Efficient Dynamic Proof of Retrievability for Cold Storage
Tung Le (Virginia Tech), Pengzhi Huang (Cornell University), Attila A. Yavuz (University of South Florida), Elaine Shi (CMU), Thang Hoang (Virginia Tech)
Read MoreSemi-Automated Synthesis of Driving Rules
Diego Ortiz, Leilani Gilpin, Alvaro A. Cardenas (University of California, Santa Cruz)
Read MoreBANS: Evaluation of Bystander Awareness Notification Systems for Productivity...
Shady Mansour (LMU Munich), Pascal Knierim (Universitat Innsbruck), Joseph O’Hagan (University of Glasgow), Florian Alt (University of the Bundeswehr Munich), Florian Mathis (University of Glasgow)
Read More