Charles Averill, Ilan Buzzetti (The University of Texas at Dallas), Alex Bellon (UC San Diego), Kevin Hamlen (The University of Texas at Dallas)
LAPSE: Automatic, Formal Fault-Tolerant Correctness Proofs for Native Code
View More Papers
DSEF: DNS Synthetic Traffic Evaluation Framework
Jihye Kim (Research Institute CODE, University of the Bundeswehr Munich)
Read MoreOne Email, Many Faces: A Deep Dive into Identity...
Mengying Wu (Fudan University), Geng Hong (Fudan University), Jiatao Chen (Fudan University), Baojun Liu (Tsinghua University), Mingxuan Liu (Zhongguancun Laboratory), Min Yang (Fudan University)
Read MoreThe Compromised Satellite Peripheral Dilemma
Rachel McAmis (MIT Lincoln Laboratory and University of Washington), Connor Willison (MIT Lincoln Laboratory), Richard Skowyra (MIT Lincoln Laboratory), Samuel Mergendahl (MIT Lincoln Laboratory)
Read More