Tariq Elahi
Ensuring Safety and Facilitating Research on the Live Tor Network
View More Papers
POSE: Practical Off-chain Smart Contract Execution
Tommaso Frassetto (Technical University of Darmstadt), Patrick Jauernig (Technical University of Darmstadt), David Koisser (Technical University of Darmstadt), David Kretzler (Technical University of Darmstadt), Benjamin Schlosser (Technical University of Darmstadt), Sebastian Faust (Technical University of Darmstadt), Ahmad-Reza Sadeghi (Technical University of Darmstadt)
Read MoreMyTEE: Own the Trusted Execution Environment on Embedded Devices
Seungkyun Han (Chungnam National University), Jinsoo Jang (Chungnam National University)
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 MorePISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read More