Lucas Stephens (Oregon State University), Jacob Porter (Oregon State University), Zane Ma (Oregon State University)
Work-in-progress: Spurious Credentials in Breach Compilations
View More Papers
The State of https Adoption on the Web
Christoph Kerschbaumer (Mozilla Corporation), Frederik Braun (Mozilla Corporation), Simon Friedberger (Mozilla Corporation), Malte Jürgens (Mozilla Corporation)
Read MoreMUTATO: Enhancing Fuzz Drivers with Adaptive API Option Mutation
Shuangxiang Kan (University of New South Wales), Xiao Cheng (Macquarie University), Yuekang Li (University of New South Wales)
Read MorePorting NASA's core Flight System to the Formally Verified...
Juliana Furgala (MIT Lincoln Laboratory), Samuel Jero (MIT Lincoln Laboratory), Andrea Lin (MIT Lincoln Laboratory), Rick Skowyra (MIT Lincoln Laboratory)
Read More