The rewards of generating true 32-bit code. - Michael Franz (ACM SIGPLAN Notices, 1991)

Emulating an Operating System on Top of Another. - Michael Franz (Softw. Pract. Exp., 1993)

The Case for Universal Symbol Files. - Michael Franz (Struct. Program., 1993)

Technological Steps toward a Software Component Industry. - Michael Franz (Programming Languages and System Architectures, 1994)

The Oberon System Family. - Marc M. Brandis; Régis Crelier; Michael Franz; Josef Templ (Softw. Pract. Exp., 1995)

Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. - Michael Franz (Softw. Concepts Tools, 1995)

Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems. - Michael Franz (Mobile Object Systems, 1996)

Run-Time Code Generation as a Central System Service. - Michael Franz (Workshop on Hot Topics in Operating Systems, 1997)

Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web. - Michael Franz (WebNet, 1997)

Slim Binaries. - Michael Franz; Thomas Kistler (Commun. ACM, 1997)

Dynamic Linking of Software Components. - Michael Franz (Computer, 1997)

The Programming Language Lagoona - A Fresh Look at Object-Orientation. - Michael Franz (Softw. Concepts Tools, 1997)

Java - Anmerkungen eines Wirth-Schülers. - Michael Franz (Inform. Spektrum, 1998)

Open Standards Beyond Java: On the Future of Mobile Code for the Internet. - Michael Franz (J. Univers. Comput. Sci., 1998)

The Java Virtual Machine: A Passing Fad? - Michael Franz (IEEE Softw., 1998)

Towards language support for component-oriented real-time programming. - Michael Franz; Peter H. Fröhlich; Thomas Kistler (WORDS (Fall), 1999)

Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service - Thomas Kistler; Michael Franz (CoRR, 1999)

A Tree-Based Alternative to Java Byte-Codes. - Thomas Kistler; Michael Franz (Int. J. Parallel Program., 1999)

Oberon - The Overlooked Jewel. - Michael Franz (The School of Niklaus Wirth, 2000)

Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages. - Peter H. Fröhlich; Michael Franz (JMLC, 2000)

Automated data-member layout of help objects to improve memory-hierarchy performance. - Thomas Kistler; Michael Franz (ACM Trans. Program. Lang. Syst., 2000)

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 (PLDI, 2001)

Continuous Program Optimization: Design and Evaluation. - Thomas Kistler; Michael Franz (IEEE Trans. Computers, 2001)

Towards Language-Agnostic Mobile Code. - Peter Housel; Christian H. Stork; Vivek Haldar; Niall Dalton; Michael Franz (BABEL, 2001)

The source is the proof. - Vivek Haldar; Christian H. Stork; Michael Franz (NSPW, 2002)

Efficient online optimization by utilizing offline analysis and the safeTSA representation. - Jeffery von Ronne; Andreas Hartmann 001; Wolfram Amme; Michael Franz (PPPJ/IRE, 2002)

Towards trusted systems from the ground up. - Vivek Haldar; Michael Franz (ACM SIGOPS European Workshop, 2002)

A portable Virtual Machine target for Proof-Carrying Code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Fermín Reig; Ning Wang (IVME, 2003)

Safe Code - It's Not Just for Applets Anymore. - Michael Franz (JMLC, 2003)

Code Annotation for Safe and Efficient Dynamic Object Resolution. - Andreas Hartmann 001; Wolfram Amme; Jeffery von Ronne; Michael Franz (COCV@ETAPS, 2003)

Effiziente Codegenerierung für mobilen Code. - Wolfram Amme; Michael Franz (Inform. Spektrum, 2003)

Continuous program optimization: A case study. - Thomas Kistler; Michael Franz (ACM Trans. Program. Lang. Syst., 2003)

Efficiently Verifiable Escape Analysis. - Matthew Q. Beers; Christian H. Stork; Michael Franz (ECOOP, 2004)

Interpreting programs in static single assignment form. - Jeffery von Ronne; Ning Wang; Michael Franz (IVME, 2004)

Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing. - Vivek Haldar; Deepak Chandra; Michael Franz (Virtual Machine Research and Technology Symposium, 2004)

Symmetric behavior-based trust: a new paradigm for internet computing. - Vivek Haldar; Michael Franz (NSPW, 2004)

Dynamic Taint Propagation for Java. - Vivek Haldar; Deepak Chandra; Michael Franz (ACSAC, 2005)

A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. - Vasanth Venkatachalam; Christian W. Probst; Michael Franz (Power-aware Computing Systems, 2005)

Average case vs. worst case: margins of safety in system design. - Christian W. Probst; Andreas Gal; Michael Franz (NSPW, 2005)

Power reduction techniques for microprocessor systems. - Vasanth Venkatachalam; Michael Franz (ACM Comput. Surv., 2005)

Quantifying the Benefits of SSA-Based Mobile Code. - Wolfram Amme; Jeffery von Ronne; Michael Franz (COCV@ETAPS, 2005)

Integrated Java Bytecode Verification. - Andreas Gal; Christian W. Probst; Michael Franz (AIOOL@VMCAI, 2005)

Structural Encoding of Static Single Assignment Form. - Andreas Gal; Christian W. Probst; Michael Franz (COCV@ETAPS, 2005)

A portable virtual machine target for proof-carrying code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Christian W. Probst; Fermín Reig; Ning Wang (Sci. Comput. Program., 2005)

Supporting software composition at the programming language level. - Peter H. Fröhlich; Andreas Gal; Michael Franz (Sci. Comput. Program., 2005)

OSEK/VDX API for Java. - Michael Stilkerich; Christian Wawersich; Andreas Gal; Wolfgang Schröder-Preikschat; Michael Franz (PLOS, 2006)

Dynamic parallelization and mapping of binary executables on hierarchical platforms. - Efe Yardimci; Michael Franz (Conf. Computing Frontiers, 2006)

HotpathVM: an effective JIT compiler for resource-constrained devices. - Andreas Gal; Christian W. Probst; Michael Franz (VEE, 2006)

Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. - Deepak Chandra; Michael Franz (ACSAC, 2007)

Implementing fast JVM interpreters using Java itself. - Michael Bebenita; Andreas Gal; Michael Franz (PPPJ, 2007)

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. - Michael Franz; Andreas Gal; Christian W. Probst (Software Engineering, 2007)

Containing the Ultimate Trojan Horse. - Michael Franz (IEEE Secur. Priv., 2007)

A new way of estimating compute-boundedness and its application to dynamic voltage scaling. - Vasanth Venkatachalam; Michael Franz; Christian W. Probst (Int. J. Embed. Syst., 2007)

SSA-based mobile code: Implementation and empirical evaluation. - Wolfram Amme; Jeffery von Ronne; Michael Franz (ACM Trans. Archit. Code Optim., 2007)

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 (CISIS, 2008)

Eliminating the insider threat in software development by combining parallelism, randomization and checkpointing. - Michael Franz (CSIIRW, 2008)

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. - Erik R. Altman; Bruce R. Childers; Robert S. Cohn; Jack W. Davidson; Koen De Bosschere; Bjorn De Sutter; M. Anton Ertl; Michael Franz; Yuan Xiang Gu; Matthias Hauswirth; Thomas Heinz 001; Wei-Chung Hsu; et al. (Emerging Uses and Paradigms for Dynamic Binary Translation, 2008)

Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. - Lei Wang; Michael Franz (ICPADS, 2008)

Slim VM: optimistic partial program loading for connected embedded Java virtual machines. - Gregor Wagner; Andreas Gal; Michael Franz (PPPJ, 2008)

Portable execution of legacy binaries on the Java virtual machine. - Alexander Yermolovich; Andreas Gal; Michael Franz (PPPJ, 2008)

Eliminating Trust From Application Programs By Way Of Software Architecture. - Michael Franz (Software Engineering, 2008)

Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms. - Efe Yardimci; Michael Franz (J. Instr. Level Parallelism, 2008)

Java bytecode verification via static single assignment form. - Andreas Gal; Christian W. Probst; Michael Franz (ACM Trans. Program. Lang. Syst., 2008)

Optimization of dynamic languages using hierarchical layering of virtual machines. - Alexander Yermolovich; Christian Wimmer; Michael Franz (DLS, 2009)

Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. - Babak Salamat; Todd Jackson; Andreas Gal; Michael Franz (EuroSys, 2009)

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; et al. (PLDI, 2009)

SlimVM: a small footprint Java virtual machine for connected embedded systems. - Christoph Kerschbaumer; Gregor Wagner; Christian Wimmer; Andreas Gal; Christian Steger; Michael Franz (PPPJ, 2009)

Phase detection using trace compilation. - Christian Wimmer; Marcelo Silva Cintra; Michael Bebenita; Mason Chang; Andreas Gal; Michael Franz (PPPJ, 2009)

Stream-Based Dynamic Compilation for Object-Oriented Languages. - Michael Bebenita; Mason Chang; Andreas Gal; Michael Franz (TOOLS (47), 2009)

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 (VEE, 2009)

The effectiveness of producer-side machine-independent optimizations for mobile code. - Wolfram Amme; Jeffery von Ronne; Philipp Adler; Michael Franz (Softw. Pract. Exp., 2009)

Mostly static program partitioning of binary executables. - Efe Yardimci; Michael Franz (ACM Trans. Program. Lang. Syst., 2009)

Linear scan register allocation on SSA form. - Christian Wimmer; Michael Franz (CGO, 2010)

Multi-variant program execution for vulnerability detection and analysis. - Todd Jackson; Christian Wimmer; Michael Franz (CSIIRW, 2010)

Decentralized information flow control on a bare-metal JVM. - Karthikeyan Manivannan; Christian Wimmer; Michael Franz (CSIIRW, 2010)

E unibus pluram: massive-scale software diversity as a defense mechanism. - Michael Franz (NSPW, 2010)

Trace-based compilation in execution environments without interpreters. - Michael Bebenita; Mason Chang; Gregor Wagner; Andreas Gal; Christian Wimmer; Michael Franz (PPPJ, 2010)

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 (DLS, 2011)

Compartmental memory management in a modern web browser. - Gregor Wagner; Andreas Gal; Christian Wimmer; Brendan Eich; Michael Franz (ISMM, 2011)

ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). - Adam Welc; Michael Franz; Krzysztof Palacz (OOPSLA Companion, 2011)

"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. - Gregor Wagner; Andreas Gal; Michael Franz (Sci. Comput. Program., 2011)

Runtime Defense against Code Injection Attacks Using Replicated Execution. - Babak Salamat; Todd Jackson; Gregor Wagner; Christian Wimmer; Michael Franz (IEEE Trans. Dependable Secur. Comput., 2011)

Compiler-Generated Software Diversity. - Todd Jackson; Babak Salamat; Andrei Homescu; Karthikeyan Manivannan; Gregor Wagner; Andreas Gal; Stefan Brunthaler 001; Christian Wimmer; Michael Franz (Moving Target Defense, 2011)

Fine-grained modularity and reuse of virtual machine components. - Christian Wimmer; Stefan Brunthaler 001; Per Larsen; Michael Franz (AOSD, 2012)

Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming. - Andrei Homescu; Michael Stewart 003; Per Larsen; Stefan Brunthaler 001; Michael Franz (WOOT, 2012)

Librando: transparent code randomization for just-in-time compilers. - Andrei Homescu; Stefan Brunthaler 001; Per Larsen; Michael Franz (CCS, 2013)

Profile-guided automated software diversity. - Andrei Homescu; Steven Neisius; Per Larsen; Stefan Brunthaler 001; Michael Franz (CGO, 2013)

CrowdFlow: Efficient Information Flow Security. - Christoph Kerschbaumer; Eric Hennigan; Per Larsen; Stefan Brunthaler 001; Michael Franz (ISC, 2013)

Booby trapping software. - Stephen Crane; Per Larsen; Stefan Brunthaler 001; Michael Franz (NSPW, 2013)

Efficient interpreter optimizations for the JVM. - Gülfem Savrun-Yeniçeri; Wei Zhang 059; Huahan Zhang; Chen Li 001; Stefan Brunthaler 001; Per Larsen; Michael Franz (PPPJ, 2013)

First-Class Labels: Using Information Flow to Debug Security Holes. - Eric Hennigan; Christoph Kerschbaumer; Stefan Brunthaler 001; Per Larsen; Michael Franz (TRUST, 2013)

Towards Precise and Efficient Information Flow Control in Web Browsers. - Christoph Kerschbaumer; Eric Hennigan; Per Larsen; Stefan Brunthaler 001; Michael Franz (TRUST, 2013)

Information flow tracking meets just-in-time compilation. - Christoph Kerschbaumer; Eric Hennigan; Per Larsen; Stefan Brunthaler 001; Michael Franz (ACM Trans. Archit. Code Optim., 2013)

Diversifying the Software Stack Using Randomized NOP Insertion. - Todd Jackson; Andrei Homescu; Stephen Crane; Per Larsen; Stefan Brunthaler 001; Michael Franz (Moving Target Defense, 2013)

Software Profiling Options and Their Effects on Security Based Diversification. - Mark Murphy; Per Larsen; Stefan Brunthaler 001; Michael Franz (MTD@CCS, 2014)

Accelerating iterators in optimizing AST interpreters. - Wei Zhang 059; Per Larsen; Stefan Brunthaler 001; Michael Franz (OOPSLA, 2014)

Comparing points-to static analysis with runtime recorded profiling data. - Liviu Codrut Stancu; Christian Wimmer; Stefan Brunthaler 001; Per Larsen; Michael Franz (PPPJ, 2014)

SoK: Automated Software Diversity. - Per Larsen; Andrei Homescu; Stefan Brunthaler 001; Michael Franz (IEEE Symposium on Security and Privacy, 2014)

Similarity-based matching meets Malware Diversity. - Mathias Payer; Stephen Crane; Per Larsen; Stefan Brunthaler 001; Richard Wartell; Michael Franz (CoRR, 2014)

Security through Diversity: Are We There Yet? - Per Larsen; Stefan Brunthaler 001; Michael Franz (IEEE Secur. Priv., 2014)

Efficient hosted interpreters on the JVM. - Gülfem Savrun-Yeniçeri; Wei Zhang 059; Huahan Zhang; Eric Seckler; Chen Li 001; Stefan Brunthaler 001; Per Larsen; Michael Franz (ACM Trans. Archit. Code Optim., 2014)

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 (CCS, 2015)

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 (CCS, 2015)

From Fine Grained Code Diversity to JIT-ROP to Execute-Only Memory: The Cat and Mouse Game Between Attackers and Defenders Continues. - Michael Franz (MTD@CCS, 2015)

repAIrC: A Tool for Ensuring Data Consistency. - Luís Cruz-Filipe; Michael Franz; Artavazd Hakhverdyan; Marta Ludovico; Isabel Nunes; Peter Schneider-Kamp (KMIS, 2015)

Active Integrity Constraints: From Theory to Implementation. - Luís Cruz-Filipe; Michael Franz; Artavazd Hakhverdyan; Marta Ludovico; Isabel Nunes; Peter Schneider-Kamp (IC3K, 2015)

Safe and efficient hybrid memory management for Java. - Liviu Codrut Stancu; Christian Wimmer; Stefan Brunthaler 001; Per Larsen; Michael Franz (ISMM, 2015)

Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity. - Stephen Crane; Andrei Homescu; Stefan Brunthaler 001; Per Larsen; Michael Franz (NDSS, 2015)

Opaque Control-Flow Integrity. - Vishwath Mohan; Per Larsen; Stefan Brunthaler 001; Kevin W. Hamlen; Michael Franz (NDSS, 2015)

An Efficient and Generic Event-based Profiler Framework for Dynamic Languages. - Gülfem Savrun-Yeniçeri; Michael L. Van de Vanter; Per Larsen; Stefan Brunthaler 001; Michael Franz (PPPJ, 2015)

Readactor: Practical Code Randomization Resilient to Memory Disclosure. - Stephen Crane; Christopher Liebchen; Andrei Homescu; Lucas Davi; Per Larsen; Ahmad-Reza Sadeghi; Stefan Brunthaler 001; Michael Franz (IEEE Symposium on Security and Privacy, 2015)

repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. - Luís Cruz-Filipe; Michael Franz; Artavazd Hakhverdyan; Marta Ludovico; Isabel Nunes; Peter Schneider-Kamp (CoRR, 2015)

Automatic Software Diversity. - Per Larsen; Stefan Brunthaler 001; Michael Franz (IEEE Secur. Priv., 2015)

OpenLabNotes - An Electronic Laboratory Notebook Extension for OpenLabFramework. - Markus List; Michael Franz; Qihua Tan; Jan Mollenhauer; Jan Baumbach (J. Integr. Bioinform., 2015)

Automated Software Diversity - Per Larsen; Stefan Brunthaler 001; Lucas Davi; Ahmad-Reza Sadeghi; Michael Franz (Morgan & Claypool Publishers, 2015)

Leakage-Resilient Layout Randomization for Mobile Devices. - Kjell Braden; Lucas Davi; Christopher Liebchen; Ahmad-Reza Sadeghi; Stephen Crane; Michael Franz; Per Larsen (NDSS, 2016)

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 (USENIX ATC, 2016)

Secure and Efficient Application Monitoring and Replication. - Stijn Volckaert; Bart Coppens 001; Alexios Voulimeneas; Andrei Homescu; Per Larsen; Bjorn De Sutter; Michael Franz (USENIX ATC, 2016)

Coherent campaigns? Campaign broadcast and social messaging. - Leticia Bode; David Lassen; Young Mie Kim; Dhavan V. Shah; Erika Franklin Fowler; Travis Ridout; Michael Franz (Online Inf. Rev., 2016)

Thinking Inside the Box: Compartmentalized Garbage Collection. - Gregor Wagner; Per Larsen; Stefan Brunthaler 001; Michael Franz (ACM Trans. Program. Lang. Syst., 2016)

Taming Parallelism in a Multi-Variant Execution Environment. - Stijn Volckaert; Bart Coppens 001; Bjorn De Sutter; Koen De Bosschere; Per Larsen; Michael Franz (EuroSys, 2017)

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 (NDSS, 2017)

Venerable Variadic Vulnerabilities Vanquished. - Priyam Biswas; Alessandro Di Federico; Scott A. Carr; Prabhu Rajasekaran; Stijn Volckaert; Yeoul Na; Michael Franz; Mathias Payer (USENIX Security Symposium, 2017)

Control-Flow Integrity: Precision, Security, and Performance. - Nathan Burow; Scott A. Carr; Joseph Nash; Per Larsen; Michael Franz; Stefan Brunthaler 001; Mathias Payer (ACM Comput. Surv., 2017)

Large-Scale Automated Software Diversity - Program Evolution Redux. - Andrei Homescu; Todd Jackson; Stephen Crane; Stefan Brunthaler 001; Per Larsen; Michael Franz (IEEE Trans. Dependable Secur. Comput., 2017)

Diversity and information leaks. - Stephen Crane; Andrei Homescu; Per Larsen; Hamed Okhravi; Michael Franz (The Continuing Arms Race, 2018)

Bytecode Corruption Attacks Are Real - And How to Defend Against Them. - Taemin Park; Julian Lettner; Yeoul Na; Stijn Volckaert; Michael Franz (DIMVA, 2018)

Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. - Mohaned Qunaibit; Stefan Brunthaler 001; Yeoul Na; Stijn Volckaert; Michael Franz (ECOOP, 2018)

BinRec: Attack Surface Reduction Through Dynamic Binary Recovery. - Taddeus Kroes; Anil Altinay; Joseph Nash; Yeoul Na; Stijn Volckaert; Herbert Bos; Michael Franz; Cristiano Giuffrida (FEAST@CCS, 2018)

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 (RAID, 2018)

PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning. - Julian Lettner; Dokyung Song; Taemin Park; Per Larsen; Stijn Volckaert; Michael Franz (RAID, 2018)

Making Multivariant Programming Practical and Inexpensive. - Michael Franz (IEEE Secur. Priv., 2018)

PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary. - Dokyung Song; Felicitas Hetzelt; Dipanjan Das 002; Chad Spensky; Yeoul Na; Stijn Volckaert; Giovanni Vigna; Christopher Kruegel; Jean-Pierre Seifert; Michael Franz (NDSS, 2019)

SoK: Sanitizing for Security. - Dokyung Song; Julian Lettner; Prabhu Rajasekaran; Yeoul Na; Stijn Volckaert; Per Larsen; Michael Franz (IEEE Symposium on Security and Privacy, 2019)

DMON: A Distributed Heterogeneous N-Variant System. - Alexios Voulimeneas; Dokyung Song; Fabian Parzefall; Yeoul Na; Per Larsen; Michael Franz; Stijn Volckaert (CoRR, 2019)

Adoption Challenges of Code Randomization. - Per Larsen; Michael Franz (MTD@CCS, 2020)

CoDaRR: Continuous Data Space Randomization against Data-Only Attacks. - Prabhu Rajasekaran; Stephen Crane; David Gens; Yeoul Na; Stijn Volckaert; Michael Franz (AsiaCCS, 2020)

Distributed Heterogeneous N-Variant Execution. - Alexios Voulimeneas; Dokyung Song; Fabian Parzefall; Yeoul Na; Per Larsen; Michael Franz; Stijn Volckaert (DIMVA, 2020)

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 (EuroSys, 2020)

NoJITsu: Locking Down JavaScript Engines. - Taemin Park; Karel Dhondt; David Gens; Yeoul Na; Stijn Volckaert; Michael Franz (NDSS, 2020)

V0LTpwn: Attacking x86 Processor Integrity from Software. - Zijo Kenjar; Tommaso Frassetto; David Gens; Michael Franz; Ahmad-Reza Sadeghi (USENIX Security Symposium, 2020)

Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints. - Dokyung Song; Felicitas Hetzelt; Jonghwan Kim; Brent ByungHoon Kang; Jean-Pierre Seifert; Michael Franz (USENIX Security Symposium, 2020)

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 (DeFi@CCS, 2021)

StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries. - Chinmay Deshpande; David Gens; Michael Franz (AISec@CCS, 2021)

dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. - Alexios Voulimeneas; Dokyung Song; Per Larsen; Michael Franz; Stijn Volckaert (EuroSec@EuroSys, 2021)

On the Usability of Authenticity Checks for Hardware Security Tokens. - Katharina Pfeffer; Alexandra Mai; Adrian Dabrowski; Matthias Gusenbauer; Philipp Schindler; Edgar R. Weippl; Michael Franz; Katharina Krombholz (USENIX Security Symposium, 2021)

KALD: Detecting Direct Pointer Disclosure Vulnerabilities. - Brian Belleville; Wenbo Shen; Stijn Volckaert; Ahmed M. Azab; Michael Franz (IEEE Trans. Dependable Secur. Comput., 2021)

The EMPAIA Platform: Vendor-neutral integration of AI applications into digital pathology infrastructures. - Christoph Jansen; Klaus Strohmenger; Daniel Romberg; Tobias Küster; Nick Weiss; Björn Lindequist; Michael Franz; André Homeyer; Norman Zerbe (CCGRID, 2022)

The Ticket Price Matters in Sharding Blockchain. - Geunwoo Kim; Michael Franz; Jong Kim 001 (DPM/CBT@ESORICS, 2022)

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 (EuroSys, 2022)

Improving cross-platform binary analysis using representation learning via graph alignment. - Geunwoo Kim; Sanghyun Hong 001; Michael Franz; Dokyung Song (ISSTA, 2022)

MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing. - Min-Yih Hsu; David Gens; Michael Franz (CoRR, 2022)

DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases. - Min-Yih Hsu; Felicitas Hetzelt; Michael Franz (CoRR, 2022)

Anonymization of Whole Slide Images in Histopathology for Research and Education. - Tom Bisson; Michael Franz; Isil Dogan O; Daniel Romberg; Christoph Jansen; Peter Hufnagl; Norman Zerbe (CoRR, 2022)

A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. - Min-Yih Hsu; Felicitas Hetzelt; David Gens; Michael Maitland; Michael Franz (ESEC/SIGSOFT FSE, 2023)

The vendor-agnostic EMPAIA platform for integrating AI applications into digital pathology infrastructures. - 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 (Future Gener. Comput. Syst., 2023)

Method for Using IMU-Based Experimental Motion Data in BVH Format for Musculoskeletal Simulations via OpenSim. - Iris Wechsler; Alexander Wolf; Sophie Fleischmann; Julian Waibel; Carla Molz; David Scherb; Julian Shanbhag; Michael Franz; Sandro Wartzack; Jörg Miehling (Sensors, 2023)

I'll Be There for You! Perpetual Availability in the A8 MVX System. - André Rösti; Stijn Volckaert; Michael Franz; Alexios Voulimeneas (ACSAC, 2024)

What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation. - Fabian Parzefall; Chinmay Deshpande; Felicitas Hetzelt; Michael Franz (ASPLOS (2), 2024)

Polynima: Practical Hybrid Recompilation for Multithreaded Binaries. - Chinmay Deshpande; Fabian Parzefall; Felicitas Hetzelt; Michael Franz (EuroSys, 2024)

Joining Forces for Pathology Diagnostics with AI Assistance: The EMPAIA Initiative. - 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; et al. (CoRR, 2024)

The Astonishing Evolution of Probabilistic Memory Safety: From Basic Heap-Data Attack Detection Toward Fully Survivable Multivariant Execution. - André Rösti; Alexios Voulimeneas; Michael Franz (IEEE Secur. Priv., 2024)

Unlocking the AMD Neural Processing Unit for ML Training on the Client Using Bare-Metal-Programming Tools. - André Rösti; Michael Franz (FCCM, 2025)

A high-precision hierarchical registration approach for stain- and scanner-independent colocalization on whole slide images in histopathology. - Tom Bisson; Michael Franz; Tim-Rasmus Kiehl; Peter Boor; Peter Hufnagl; Norman Zerbe (Health Inf. Sci. Syst., 2025)