Serge Vaudenay, EPFL, Switzerland
Debunking Exposure Notification
View More Papers
TASE: Reducing Latency of Symbolic Execution with Transactional Memory
Adam Humphries (University of North Carolina), Kartik Cating-Subramanian (University of Colorado), Michael K. Reiter (Duke University)
Read MoreNetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces
Yapeng Ye (Purdue University), Zhuo Zhang (Purdue University), Fei Wang (Purdue University), Xiangyu Zhang (Purdue University), Dongyan Xu (Purdue University)
Read MoreScreen Gleaning: Receiving and Interpreting Pixels by Eavesdropping on...
Zhuoran Liu, Léo Weissbart, Dirk Lauret (Radboud University)
Read MoreSODA: A Generic Online Detection Framework for Smart Contracts
Ting Chen (University of Electronic Science and Technology of China), Rong Cao (University of Electronic Science and Technology of China), Ting Li (University of Electronic Science and Technology of China), Xiapu Luo (The Hong Kong Polytechnic University), Guofei Gu (Texas A&M University), Yufei Zhang (University of Electronic Science and Technology of China), Zhou Liao (University…
Read More