Dr. Ruoyu (Fish) Wang, Assistant Professor at Arizona State University
30 Years into Scientific Binary Decompilation: What We Have Achieved and What We Need to Do Next
View More Papers
Analyzing the Security of Smart Automobile Applications
Zoya Yeprem (University of Virginia)
Read MoreLAPSE: Automatic, Formal Fault-Tolerant Correctness Proofs for Native Code
Charles Averill, Ilan Buzzetti (The University of Texas at Dallas), Alex Bellon (UC San Diego), Kevin Hamlen (The University of Texas at Dallas)
Read MoreDemo #12: Too Afraid to Drive: Systematic Discovery of...
Ziwen Wan (UC Irvine), Junjie Shen (UC Irvine), Jalen Chuang (UC Irvine), Xin Xia (UCLA), Joshua Garcia (UC Irvine), Jiaqi Ma (UCLA) and Qi Alfred Chen (UC Irvine)
Read More