Michael Franz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
60
Venues
24
Active years
1997–2025
Best venue rank
A*
Where they publish
- A*CCS9 papers
- A*NDSS6 papers
- AEuroSys5 papers
- CNSPW5 papers
- AACSAC3 papers
- A*SP3 papers
- A*ASPLOS2 papers
- BDIMVA2 papers
- AECOOP2 papers
- ARAID2 papers
- AUSENIX2 papers
- CIC3K2 papers
- AOOPSLA2 papers
- ACGO2 papers
- CDLS2 papers
- A*PLDI2 papers
- BVEE2 papers
- NationalFCCM1 paper
- BCCGRID1 paper
- AESORICS1 paper
- AISSTA1 paper
- NationalCISIS1 paper
- BICPADS1 paper
- AHotOS1 paper
Papers
60 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FCCM | Unlocking the AMD Neural Processing Unit for ML Training on the Client Using Bare-Metal-Programming Tools. | Andr Rsti, Michael Franz |
| 2024 | ACSAC | I'll Be There for You! Perpetual Availability in the A | Andr Rsti, Stijn Volckaert, Michael Franz, Alexios Voulimeneas |
| 2024 | ASPLOS | What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation. | Fabian Parzefall, Chinmay Deshpande, Felicitas Hetzelt, Michael Franz |
| 2024 | EuroSys | Polynima: Practical Hybrid Recompilation for Multithreaded Binaries. | Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz |
| 2022 | CCGRID | The EMPAIA Platform: Vendor-neutral integration of AI applications into digital pathology infrastructures. | Christoph Jansen, Klaus Strohmenger, Daniel Romberg, Tobias Kster, Nick Weiss, Bjrn Lindequist, Michael Franz, Andr Homeyer, Norman Zerbe |
| 2022 | ESORICS | The Ticket Price Matters in Sharding Blockchain. | Geunwoo Kim, Michael Franz, Jong Kim |
| 2022 | EuroSys | PKRU-safe: automatically locking down the heap between safe and unsafe languages. | Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz |
| 2022 | ISSTA | Improving cross-platform binary analysis using representation learning via graph alignment. | Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song |
| 2021 | CCS | Better Keep Cash in Your Boots - Hardware Wallets are the New Single Point of Failure. | Adrian Dabrowski, Katharina Pfeffer, Markus Reichel, Alexandra Mai, Edgar R. Weippl, Michael Franz |
| 2021 | CCS | StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries. | Chinmay Deshpande, David Gens, Michael Franz |
| 2020 | CCS | Adoption Challenges of Code Randomization. | Per Larsen, Michael Franz |
| 2020 | CCS | CoDaRR: Continuous Data Space Randomization against Data-Only Attacks. | Prabhu Rajasekaran, Stephen Crane, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz |
| 2020 | DIMVA | Distributed Heterogeneous N-Variant Execution. | Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert |
| 2020 | EuroSys | BinRec: dynamic binary lifting and recompilation. | Anil Altinay, Joseph Nash, Taddeus Kroes, Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Cristiano Giuffrida, Herbert Bos, Michael Franz |
| 2020 | NDSS | NoJITsu: Locking Down JavaScript Engines. | Taemin Park, Karel Dhondt, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz |
| 2019 | NDSS | PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary. | Dokyung Song, Felicitas Hetzelt, Dipanjan Das, Chad Spensky, Yeoul Na, Stijn Volckaert, Giovanni Vigna, Christopher Kruegel, Jean-Pierre Seifert, Michael Franz |
| 2019 | SP | SoK: Sanitizing for Security. | Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz |
| 2018 | DIMVA | Bytecode Corruption Attacks Are Real - And How to Defend Against Them. | Taemin Park, Julian Lettner, Yeoul Na, Stijn Volckaert, Michael Franz |
| 2018 | ECOOP | Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. | Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz |
| 2018 | RAID | Hardware Assisted Randomization of Data. | Brian Belleville, Hyungon Moon, Jangseop Shin, Dongil Hwang, Joseph M. Nash, Seonhwa Jung, Yeoul Na, Stijn Volckaert, Per Larsen, Yunheung Paek, Michael Franz |
| 2018 | RAID | PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning. | Julian Lettner, Dokyung Song, Taemin Park, Per Larsen, Stijn Volckaert, Michael Franz |
| 2017 | EuroSys | Taming Parallelism in a Multi-Variant Execution Environment. | Stijn Volckaert, Bart Coppens, Bjorn De Sutter, Koen De Bosschere, Per Larsen, Michael Franz |
| 2017 | NDSS | Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity. | Robert Rudd, Richard Skowyra, David Bigelow, Veer Dedhia, Thomas Hobson, Stephen Crane, Christopher Liebchen, Per Larsen, Lucas Davi, Michael Franz, Ahmad-Reza Sadeghi, Hamed Okhravi |
| 2016 | NDSS | Leakage-Resilient Layout Randomization for Mobile Devices. | Kjell Braden, Lucas Davi, Christopher Liebchen, Ahmad-Reza Sadeghi, Stephen Crane, Michael Franz, Per Larsen |
| 2016 | USENIX | Subversive-C: Abusing and Protecting Dynamic Message Dispatch. | Julian Lettner, Benjamin Kollenda, Andrei Homescu, Per Larsen, Felix Schuster, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Michael Franz |
| 2016 | USENIX | Secure and Efficient Application Monitoring and Replication. | Stijn Volckaert, Bart Coppens, Alexios Voulimeneas, Andrei Homescu, Per Larsen, Bjorn De Sutter, Michael Franz |
| 2015 | CCS | Losing Control: On the Effectiveness of Control-Flow Integrity under Stack Attacks. | Mauro Conti, Stephen Crane, Lucas Davi, Michael Franz, Per Larsen, Marco Negro, Christopher Liebchen, Mohaned Qunaibit, Ahmad-Reza Sadeghi |
| 2015 | CCS | It's a TRaP: Table Randomization and Protection against Function-Reuse Attacks. | Stephen J. Crane, Stijn Volckaert, Felix Schuster, Christopher Liebchen, Per Larsen, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Bjorn De Sutter, Michael Franz |
| 2015 | CCS | From Fine Grained Code Diversity to JIT-ROP to Execute-Only Memory: The Cat and Mouse Game Between Attackers and Defenders Continues. | Michael Franz |
| 2015 | IC3K | repAIrC: A Tool for Ensuring Data Consistency. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | IC3K | Active Integrity Constraints: From Theory to Implementation. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | NDSS | Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity. | Stephen Crane, Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz |
| 2015 | NDSS | Opaque Control-Flow Integrity. | Vishwath Mohan, Per Larsen, Stefan Brunthaler, Kevin W. Hamlen, Michael Franz |
| 2015 | SP | Readactor: Practical Code Randomization Resilient to Memory Disclosure. | Stephen Crane, Christopher Liebchen, Andrei Homescu, Lucas Davi, Per Larsen, Ahmad-Reza Sadeghi, Stefan Brunthaler, Michael Franz |
| 2014 | CCS | Software Profiling Options and Their Effects on Security Based Diversification. | Mark Murphy, Per Larsen, Stefan Brunthaler, Michael Franz |
| 2014 | OOPSLA | Accelerating iterators in optimizing AST interpreters. | Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz |
| 2014 | SP | SoK: Automated Software Diversity. | Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz |
| 2013 | CCS | Librando: transparent code randomization for just-in-time compilers. | Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz |
| 2013 | CGO | Profile-guided automated software diversity. | Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz |
| 2013 | NSPW | Booby trapping software. | Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz |
| 2011 | DLS | The impact of optional type information on jit compilation of dynamically typed languages. | Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz |
| 2011 | OOPSLA | ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). | Adam Welc, Michael Franz, Krzysztof Palacz |
| 2010 | CGO | Linear scan register allocation on SSA form. | Christian Wimmer, Michael Franz |
| 2010 | NSPW | E unibus pluram: massive-scale software diversity as a defense mechanism. | Michael Franz |
| 2009 | DLS | Optimization of dynamic languages using hierarchical layering of virtual machines. | Alexander Yermolovich, Christian Wimmer, Michael Franz |
| 2009 | EuroSys | Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. | Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz |
| 2009 | PLDI | Trace-based just-in-time type specialization for dynamic languages. | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
| 2009 | VEE | Tracing for web 3.0: trace compilation for the next generation web applications. | Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz |
| 2008 | CISIS | Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. | Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz |
| 2008 | ICPADS | Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. | Lei Wang, Michael Franz |
| 2007 | ACSAC | Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. | Deepak Chandra, Michael Franz |
| 2006 | ASPLOS | OSEK/VDX API for Java. | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schrder-Preikschat, Michael Franz |
| 2006 | VEE | HotpathVM: an effective JIT compiler for resource-constrained devices. | Andreas Gal, Christian W. Probst, Michael Franz |
| 2005 | ACSAC | Dynamic Taint Propagation for Java. | Vivek Haldar, Deepak Chandra, Michael Franz |
| 2005 | NSPW | Average case vs. worst case: margins of safety in system design. | Christian W. Probst, Andreas Gal, Michael Franz |
| 2004 | ECOOP | Efficiently Verifiable Escape Analysis. | Matthew Q. Beers, Christian H. Stork, Michael Franz |
| 2004 | NSPW | Symmetric behavior-based trust: a new paradigm for internet computing. | Vivek Haldar, Michael Franz |
| 2002 | NSPW | The source is the proof. | Vivek Haldar, Christian H. Stork, Michael Franz |
| 2001 | PLDI | SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. | Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne |
| 1997 | HotOS | Run-Time Code Generation as a Central System Service. | Michael Franz |