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
Not What It Used To Be: Generational Analysis of...
Janos Szurdi (Palo Alto Networks), Reethika Ramesh (Palo Alto Networks), Ram Sundara Raman (University of California Santa Cruz), Daiping Liu (Palo Alto Networks)
Read MoreTemporal Risk on Satellites
Shiqi Liu (George Mason University), Kun Sun (George Mason University)
Read MoreCryptPEFT: Efficient and Private Neural Network Inference via Parameter-Efficient...
Saisai Xia (State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS and School of Cyber Security, University of Chinese Academy of Sciences), Wenhao Wang (State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS and School of Cyber Security, University of Chinese Academy of Sciences), Zihao Wang (Nanyang Technological University),…
Read More