Michael Franz

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 49

Top Venues

CoRR

NDSS

USENIX Security Symposium

EuroSys

Publications

Norman Zerbe, Lars Ole Schwen, Christian Geißler, Katja Wiesemann, Tom Bisson, Peter Boor, Rita Carvalho, Michael Franz, Christoph Jansen, Tim-Rasmus Kiehl, Björn Lindequist, Nora Charlotte Pohlan, Sarah Schmell, Klaus Strohmenger, Falk Zakrzewski, Markus Plass, Michael Takla, Tobias Küster, André Homeyer, Peter Hufnagl
Joining Forces for Pathology Diagnostics with AI Assistance: The EMPAIA Initiative. CoRR (2024)
André Rösti, Alexios Voulimeneas, Michael Franz
The Astonishing Evolution of Probabilistic Memory Safety: From Basic Heap-Data Attack Detection Toward Fully Survivable Multivariant Execution. IEEE Secur. Priv. 22 (4) (2024)
Fabian Parzefall, Chinmay Deshpande, Felicitas Hetzelt, Michael Franz
What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation. ASPLOS (2) (2024)
Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz
Polynima: Practical Hybrid Recompilation for Multithreaded Binaries. EuroSys (2024)
Iris Wechsler, Alexander Wolf, Sophie Fleischmann, Julian Waibel, Carla Molz, David Scherb, Julian Shanbhag, Michael Franz, Sandro Wartzack, Jörg Miehling
Method for Using IMU-Based Experimental Motion Data in BVH Format for Musculoskeletal Simulations via OpenSim. Sensors 23 (12) (2023)
Christoph Jansen, Björn Lindequist, Klaus Strohmenger, Daniel Romberg, Tobias Küster, Nick Weiss, Michael Franz, Lars Ole Schwen, Theodore Evans, André Homeyer, Norman Zerbe
The vendor-agnostic EMPAIA platform for integrating AI applications into digital pathology infrastructures. Future Gener. Comput. Syst. 140 (2023)
Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. ESEC/SIGSOFT FSE (2023)
Min-Yih Hsu, David Gens, Michael Franz
MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing. CoRR (2022)
Christoph Jansen, Klaus Strohmenger, Daniel Romberg, Tobias Küster, Nick Weiss, Björn Lindequist, Michael Franz, André Homeyer, Norman Zerbe
The EMPAIA Platform: Vendor-neutral integration of AI applications into digital pathology infrastructures. CCGRID (2022)
Min-Yih Hsu, Felicitas Hetzelt, Michael Franz
DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases. CoRR (2022)
Geunwoo Kim, Michael Franz, Jong Kim
The Ticket Price Matters in Sharding Blockchain. DPM/CBT@ESORICS (2022)
Tom Bisson, Michael Franz, Isil Dogan O, Daniel Romberg, Christoph Jansen, Peter Hufnagl, Norman Zerbe
Anonymization of Whole Slide Images in Histopathology for Research and Education. CoRR (2022)
Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz
PKRU-safe: automatically locking down the heap between safe and unsafe languages. EuroSys (2022)
Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song
Improving cross-platform binary analysis using representation learning via graph alignment. ISSTA (2022)
Adrian Dabrowski, Katharina Pfeffer, Markus Reichel, Alexandra Mai, Edgar R. Weippl, Michael Franz
Better Keep Cash in Your Boots - Hardware Wallets are the New Single Point of Failure. DeFi@CCS (2021)
Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert
dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. EuroSec@EuroSys (2021)
Chinmay Deshpande, David Gens, Michael Franz
StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries. AISec@CCS (2021)
Katharina Pfeffer, Alexandra Mai, Adrian Dabrowski, Matthias Gusenbauer, Philipp Schindler, Edgar R. Weippl, Michael Franz, Katharina Krombholz
On the Usability of Authenticity Checks for Hardware Security Tokens. USENIX Security Symposium (2021)
Brian Belleville, Wenbo Shen, Stijn Volckaert, Ahmed M. Azab, Michael Franz
KALD: Detecting Direct Pointer Disclosure Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 18 (3) (2021)
Per Larsen, Michael Franz
Adoption Challenges of Code Randomization. MTD@CCS (2020)
Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert
Distributed Heterogeneous N-Variant Execution. DIMVA (2020)
Anil Altinay, Joseph Nash, Taddeus Kroes, Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Cristiano Giuffrida, Herbert Bos, Michael Franz
BinRec: dynamic binary lifting and recompilation. EuroSys (2020)
Taemin Park, Karel Dhondt, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz
NoJITsu: Locking Down JavaScript Engines. NDSS (2020)
Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi
V0LTpwn: Attacking x86 Processor Integrity from Software. USENIX Security Symposium (2020)
Prabhu Rajasekaran, Stephen Crane, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz
CoDaRR: Continuous Data Space Randomization against Data-Only Attacks. AsiaCCS (2020)
Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert
dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. CoRR (2020)
Dokyung Song, Felicitas Hetzelt, Jonghwan Kim, Brent ByungHoon Kang, Jean-Pierre Seifert, Michael Franz
Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints. USENIX Security Symposium (2020)
Dokyung Song, Felicitas Hetzelt, Dipanjan Das, Chad Spensky, Yeoul Na, Stijn Volckaert, Giovanni Vigna, Christopher Kruegel, Jean-Pierre Seifert, Michael Franz
PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary. NDSS (2019)
Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi
V0LTpwn: Attacking x86 Processor Integrity from Software. CoRR (2019)
Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert
DMON: A Distributed Heterogeneous N-Variant System. CoRR (2019)
Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
SoK: Sanitizing for Security. IEEE Symposium on Security and Privacy (2019)
Michael Franz
Making Multivariant Programming Practical and Inexpensive. IEEE Secur. Priv. 16 (3) (2018)
Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
SoK: Sanitizing for Security. CoRR (2018)
Taemin Park, Julian Lettner, Yeoul Na, Stijn Volckaert, Michael Franz
Bytecode Corruption Attacks Are Real - And How to Defend Against Them. DIMVA (2018)
Julian Lettner, Dokyung Song, Taemin Park, Per Larsen, Stijn Volckaert, Michael Franz
PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning. RAID (2018)
Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. ECOOP (2018)
Brian Belleville, Hyungon Moon, Jangseop Shin, Dongil Hwang, Joseph M. Nash, Seonhwa Jung, Yeoul Na, Stijn Volckaert, Per Larsen, Yunheung Paek, Michael Franz
Hardware Assisted Randomization of Data. RAID (2018)
Priyam Biswas, Alessandro Di Federico, Scott A. Carr, Prabhu Rajasekaran, Stijn Volckaert, Yeoul Na, Michael Franz, Mathias Payer
Venerable Variadic Vulnerabilities Vanquished. USENIX Security Symposium (2017)
Julian Lettner, Dokyung Song, Taemin Park, Stijn Volckaert, Per Larsen, Michael Franz
PartiSan: Fast and Flexible Sanitization via Run-time Partitioning. CoRR (2017)
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
Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity. NDSS (2017)
Nathan Burow, Scott A. Carr, Joseph Nash, Per Larsen, Michael Franz, Stefan Brunthaler, Mathias Payer
Control-Flow Integrity: Precision, Security, and Performance. ACM Comput. Surv. 50 (1) (2017)
Andrei Homescu, Todd Jackson, Stephen Crane, Stefan Brunthaler, Per Larsen, Michael Franz
Large-Scale Automated Software Diversity - Program Evolution Redux. IEEE Trans. Dependable Secur. Comput. 14 (2) (2017)
Stijn Volckaert, Bart Coppens, Bjorn De Sutter, Koen De Bosschere, Per Larsen, Michael Franz
Taming Parallelism in a Multi-Variant Execution Environment. EuroSys (2017)
Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz
Thinking Inside the Box: Compartmentalized Garbage Collection. ACM Trans. Program. Lang. Syst. 38 (3) (2016)
Kjell Braden, Lucas Davi, Christopher Liebchen, Ahmad-Reza Sadeghi, Stephen Crane, Michael Franz, Per Larsen
Leakage-Resilient Layout Randomization for Mobile Devices. NDSS (2016)
Leticia Bode, David Lassen, Young Mie Kim, Dhavan V. Shah, Erika Franklin Fowler, Travis Ridout, Michael Franz
Coherent campaigns? Campaign broadcast and social messaging. Online Inf. Rev. 40 (5) (2016)
Nathan Burow, Scott A. Carr, Stefan Brunthaler, Mathias Payer, Joseph Nash, Per Larsen, Michael Franz
Control-Flow Integrity: Precision, Security, and Performance. CoRR (2016)
Stijn Volckaert, Bart Coppens, Alexios Voulimeneas, Andrei Homescu, Per Larsen, Bjorn De Sutter, Michael Franz
Secure and Efficient Application Monitoring and Replication. USENIX Annual Technical Conference (2016)
Julian Lettner, Benjamin Kollenda, Andrei Homescu, Per Larsen, Felix Schuster, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Michael Franz
Subversive-C: Abusing and Protecting Dynamic Message Dispatch. USENIX Annual Technical Conference (2016)
Michael Franz
From Fine Grained Code Diversity to JIT-ROP to Execute-Only Memory: The Cat and Mouse Game Between Attackers and Defenders Continues. MTD@CCS (2015)
Per Larsen, Stefan Brunthaler, Michael Franz
Automatic Software Diversity. IEEE Secur. Priv. 13 (2) (2015)
Stephen Crane, Christopher Liebchen, Andrei Homescu, Lucas Davi, Per Larsen, Ahmad-Reza Sadeghi, Stefan Brunthaler, Michael Franz
Readactor: Practical Code Randomization Resilient to Memory Disclosure. IEEE Symposium on Security and Privacy (2015)
Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
Safe and efficient hybrid memory management for Java. ISMM (2015)
Vishwath Mohan, Per Larsen, Stefan Brunthaler, Kevin W. Hamlen, Michael Franz
Opaque Control-Flow Integrity. NDSS (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR (2015)
Mauro Conti, Stephen Crane, Lucas Davi, Michael Franz, Per Larsen, Marco Negro, Christopher Liebchen, Mohaned Qunaibit, Ahmad-Reza Sadeghi
Losing Control: On the Effectiveness of Control-Flow Integrity under Stack Attacks. CCS (2015)
Stephen J. Crane, Stijn Volckaert, Felix Schuster, Christopher Liebchen, Per Larsen, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Bjorn De Sutter, Michael Franz
It's a TRaP: Table Randomization and Protection against Function-Reuse Attacks. CCS (2015)
Gülfem Savrun-Yeniçeri, Michael L. Van de Vanter, Per Larsen, Stefan Brunthaler, Michael Franz
An Efficient and Generic Event-based Profiler Framework for Dynamic Languages. PPPJ (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency. KMIS (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints: From Theory to Implementation. IC3K (2015)
Markus List, Michael Franz, Qihua Tan, Jan Mollenhauer, Jan Baumbach
OpenLabNotes - An Electronic Laboratory Notebook Extension for OpenLabFramework. J. Integr. Bioinform. 12 (3) (2015)
Stephen Crane, Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz
Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity. NDSS (2015)
Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz
Accelerating iterators in optimizing AST interpreters. OOPSLA (2014)
Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz
SoK: Automated Software Diversity. IEEE Symposium on Security and Privacy (2014)
Gülfem Savrun-Yeniçeri, Wei Zhang, Huahan Zhang, Eric Seckler, Chen Li, Stefan Brunthaler, Per Larsen, Michael Franz
Efficient hosted interpreters on the JVM. ACM Trans. Archit. Code Optim. 11 (1) (2014)
Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
Comparing points-to static analysis with runtime recorded profiling data. PPPJ (2014)
Per Larsen, Stefan Brunthaler, Michael Franz
Security through Diversity: Are We There Yet? IEEE Secur. Priv. 12 (2) (2014)
Mark Murphy, Per Larsen, Stefan Brunthaler, Michael Franz
Software Profiling Options and Their Effects on Security Based Diversification. MTD@CCS (2014)
Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz
Similarity-based matching meets Malware Diversity. CoRR (2014)
Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz
Profile-guided automated software diversity. CGO (2013)
Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz
Information flow tracking meets just-in-time compilation. ACM Trans. Archit. Code Optim. 10 (4) (2013)
Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz
Booby trapping software. NSPW (2013)
Gülfem Savrun-Yeniçeri, Wei Zhang, Huahan Zhang, Chen Li, Stefan Brunthaler, Per Larsen, Michael Franz
Efficient interpreter optimizations for the JVM. PPPJ (2013)
Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz
Librando: transparent code randomization for just-in-time compilers. CCS (2013)
Eric Hennigan, Christoph Kerschbaumer, Stefan Brunthaler, Per Larsen, Michael Franz
First-Class Labels: Using Information Flow to Debug Security Holes. TRUST (2013)
Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz
Towards Precise and Efficient Information Flow Control in Web Browsers. TRUST (2013)
Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz
CrowdFlow: Efficient Information Flow Security. ISC (2013)
Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
Fine-grained modularity and reuse of virtual machine components. AOSD (2012)
Andrei Homescu, Michael Stewart, Per Larsen, Stefan Brunthaler, Michael Franz
Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming. WOOT (2012)
Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz
The impact of optional type information on jit compilation of dynamically typed languages. DLS (2011)
Adam Welc, Michael Franz, Krzysztof Palacz
ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). OOPSLA Companion (2011)
Babak Salamat, Todd Jackson, Gregor Wagner, Christian Wimmer, Michael Franz
Runtime Defense against Code Injection Attacks Using Replicated Execution. IEEE Trans. Dependable Secur. Comput. 8 (4) (2011)
Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
Compartmental memory management in a modern web browser. ISMM (2011)
Gregor Wagner, Andreas Gal, Michael Franz
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. Sci. Comput. Program. 76 (11) (2011)
Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz
Trace-based compilation in execution environments without interpreters. PPPJ (2010)
Todd Jackson, Christian Wimmer, Michael Franz
Multi-variant program execution for vulnerability detection and analysis. CSIIRW (2010)
Michael Franz
E unibus pluram: massive-scale software diversity as a defense mechanism. NSPW (2010)
Karthikeyan Manivannan, Christian Wimmer, Michael Franz
Decentralized information flow control on a bare-metal JVM. CSIIRW (2010)
Christian Wimmer, Michael Franz
Linear scan register allocation on SSA form. CGO (2010)
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
Trace-based just-in-time type specialization for dynamic languages. PLDI (2009)
Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz
SlimVM: a small footprint Java virtual machine for connected embedded systems. PPPJ (2009)
Efe Yardimci, Michael Franz
Mostly static program partitioning of binary executables. ACM Trans. Program. Lang. Syst. 31 (5) (2009)
Alexander Yermolovich, Christian Wimmer, Michael Franz
Optimization of dynamic languages using hierarchical layering of virtual machines. DLS (2009)
Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
Stream-Based Dynamic Compilation for Object-Oriented Languages. TOOLS (47) (2009)
Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
Phase detection using trace compilation. PPPJ (2009)
Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
Tracing for web 3.0: trace compilation for the next generation web applications. VEE (2009)
Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. EuroSys (2009)
Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz
The effectiveness of producer-side machine-independent optimizations for mobile code. Softw. Pract. Exp. 39 (10) (2009)
Michael Franz
Eliminating the insider threat in software development by combining parallelism, randomization and checkpointing. CSIIRW (2008)
Alexander Yermolovich, Andreas Gal, Michael Franz
Portable execution of legacy binaries on the Java virtual machine. PPPJ (2008)

Michael Franz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Franz