Michael Franz
- Deterministic Fully-Static Whole-Binary Translation without Heuristics
2026/05/08 by Hongyu Chen, James McGowan, Michael Franz · 23 voices
#cs.CR #cs.PL
- V0LTpwn: Attacking x86 Processor Integrity from Software
2019/12/10 by Zijo Kenjar, Tommaso Frassetto, Kenjar, Zijo +9 · 1 voice · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #cs.CR
- SoK: Sanitizing for Security
2018/06/12 by Dokyung Song, Song, Dokyung, Julian Lettner +11 · 6 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing #Software Testing and Debugging Techniques
- DMON: A Distributed Heterogeneous N-Variant System
2019/03/08 by Alexios Voulimeneas, Voulimeneas, Alexios, Dokyung Song +11 · 1 voice
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
- Neutrophils modulate post-thrombotic vein wall remodeling but not thrombus neovascularization
2006/01/01 by Manu Varma, K. Deatrick, Nicholas A. Dewyer +17 · 1 citation
Medicine · #Acute Myocardial Infarction Research #Blood Coagulation and Thrombosis Mechanisms #Venous Thromboembolism Diagnosis and Management