Michael Franz

According to our database, Michael Franz authored at least 161 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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, Sarah Schmell, Klaus Strohmenger, Falk Zakrzewski, Markus Plass, Michael Takla, Tobias Küster, André Homeyer, Peter Hufnagl

CoRR, 2024

Polynima: Practical Hybrid Recompilation for Multithreaded Binaries.

Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation.

Fabian Parzefall, Chinmay Deshpande, Felicitas Hetzelt, Michael Franz

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

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

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

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

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

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

DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases.

Min-Yih Hsu, Felicitas Hetzelt, Michael Franz

CoRR, 2022

MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing.

Min-Yih Hsu, David Gens, Michael Franz

CoRR, 2022

Improving cross-platform binary analysis using representation learning via graph alignment.

Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 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

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

The Ticket Price Matters in Sharding Blockchain.

Geunwoo Kim, Michael Franz, Jong Kim

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

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

Proceedings of the 22nd IEEE International Symposium on Cluster, 2022

2021

KALD: Detecting Direct Pointer Disclosure Vulnerabilities.

Brian Belleville, Wenbo Shen, Stijn Volckaert, Ahmed M. Azab, Michael Franz

IEEE Trans. Dependable Secur. Comput., 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

Proceedings of the 30th USENIX Security Symposium, 2021

dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting.

Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert

Proceedings of the EuroSec '21: Proceedings of the 14th European Workshop on Systems Security, 2021

StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries.

Chinmay Deshpande, David Gens, Michael Franz

Proceedings of the AISec@CCS 2021: Proceedings of the 14th ACM Workshop on Artificial Intelligence and Security, 2021

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

Proceedings of the DeFi '21: Proceedings of the 2021 ACM CCS Workshop on Decentralized Finance and Security, 2021

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

Proceedings of the 29th USENIX Security Symposium, 2020

V0LTpwn: Attacking x86 Processor Integrity from Software.

Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi

Proceedings of the 29th USENIX Security Symposium, 2020

NoJITsu: Locking Down JavaScript Engines.

Taemin Park, Karel Dhondt, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 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

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

Distributed Heterogeneous N-Variant Execution.

Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2020

CoDaRR: Continuous Data Space Randomization against Data-Only Attacks.

Prabhu Rajasekaran, Stephen Crane, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Adoption Challenges of Code Randomization.

Per Larsen, Michael Franz

Proceedings of the 7th ACM Workshop on Moving Target Defense, 2020

2019

DMON: A Distributed Heterogeneous N-Variant System.

Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert

CoRR, 2019

SoK: Sanitizing for Security.

Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

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

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Making Multivariant Programming Practical and Inexpensive.

Michael Franz

IEEE Secur. Priv., 2018

PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning.

Julian Lettner, Dokyung Song, Taemin Park, Per Larsen, Stijn Volckaert, Michael Franz

Proceedings of the Research in Attacks, Intrusions, and Defenses, 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

Proceedings of the Research in Attacks, Intrusions, and Defenses, 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

Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, 2018

Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization.

Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Bytecode Corruption Attacks Are Real - And How to Defend Against Them.

Taemin Park, Julian Lettner, Yeoul Na, Stijn Volckaert, Michael Franz

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2018

Diversity and information leaks.

Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz

Proceedings of the Continuing Arms Race: Code-Reuse Attacks and Defenses, 2018

2017

Large-Scale Automated Software Diversity - Program Evolution Redux.

Andrei Homescu, Todd Jackson, Stephen Crane, Stefan Brunthaler, Per Larsen, Michael Franz

IEEE Trans. Dependable Secur. Comput., 2017

Control-Flow Integrity: Precision, Security, and Performance.

Nathan Burow, Scott A. Carr, Joseph Nash, Per Larsen, Michael Franz, Stefan Brunthaler, Mathias Payer

ACM Comput. Surv., 2017

Venerable Variadic Vulnerabilities Vanquished.

Priyam Biswas, Alessandro Di Federico, Scott A. Carr, Prabhu Rajasekaran, Stijn Volckaert, Yeoul Na, Michael Franz, Mathias Payer

Proceedings of the 26th USENIX Security Symposium, 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

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Taming Parallelism in a Multi-Variant Execution Environment.

Stijn Volckaert, Bart Coppens, Bjorn De Sutter, Koen De Bosschere, Per Larsen, Michael Franz

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

Thinking Inside the Box: Compartmentalized Garbage Collection.

Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz

ACM Trans. Program. Lang. Syst., 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

Secure and Efficient Application Monitoring and Replication.

Stijn Volckaert, Bart Coppens, Alexios Voulimeneas, Andrei Homescu, Per Larsen, Bjorn De Sutter, Michael Franz

Proceedings of the 2016 USENIX Annual Technical Conference, 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

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Leakage-Resilient Layout Randomization for Mobile Devices.

Kjell Braden, Lucas Davi, Christopher Liebchen, Ahmad-Reza Sadeghi, Stephen Crane, Michael Franz, Per Larsen

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015

Automated Software Diversity

Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, Michael Franz

Synthesis Lectures on Information Security, Privacy, & Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02346-0, 2015

OpenLabNotes - An Electronic Laboratory Notebook Extension for OpenLabFramework.

Markus List, Michael Franz, Qihua Tan, Jan Mollenhauer, Jan Baumbach

J. Integr. Bioinform., 2015

Automatic Software Diversity.

Per Larsen, Stefan Brunthaler, Michael Franz

IEEE Secur. Priv., 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

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

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 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, Michael Franz

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Opaque Control-Flow Integrity.

Vishwath Mohan, Per Larsen, Stefan Brunthaler, Kevin W. Hamlen, Michael Franz

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity.

Stephen Crane, Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Safe and efficient hybrid memory management for Java.

Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management, 2015

Active Integrity Constraints: From Theory to Implementation.

Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015

repAIrC: A Tool for Ensuring Data Consistency.

Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp

Proceedings of the KMIS 2015, 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

Proceedings of the Second ACM Workshop on Moving Target Defense, 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

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

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

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Efficient hosted interpreters on the JVM.

Gülfem Savrun-Yeniçeri, Wei Zhang, Huahan Zhang, Eric Seckler, Chen Li, Stefan Brunthaler, Per Larsen, Michael Franz

ACM Trans. Archit. Code Optim., 2014

Security through Diversity: Are We There Yet?

Per Larsen, Stefan Brunthaler, Michael Franz

IEEE Secur. Priv., 2014

Similarity-based matching meets Malware Diversity.

Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz

CoRR, 2014

SoK: Automated Software Diversity.

Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Comparing points-to static analysis with runtime recorded profiling data.

Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Accelerating iterators in optimizing AST interpreters.

Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Software Profiling Options and Their Effects on Security Based Diversification.

Mark Murphy, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the First ACM Workshop on Moving Target Defense, 2014

2013

Diversifying the Software Stack Using Randomized NOP Insertion.

Todd Jackson, Andrei Homescu, Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the Moving Target Defense II, 2013

Information flow tracking meets just-in-time compilation.

Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz

ACM Trans. Archit. Code Optim., 2013

Towards Precise and Efficient Information Flow Control in Web Browsers.

Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

First-Class Labels: Using Information Flow to Debug Security Holes.

Eric Hennigan, Christoph Kerschbaumer, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Efficient interpreter optimizations for the JVM.

Gülfem Savrun-Yeniçeri, Wei Zhang, Huahan Zhang, Chen Li, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Booby trapping software.

Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the New Security Paradigms Workshop, 2013

CrowdFlow: Efficient Information Flow Security.

Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the Information Security, 16th International Conference, 2013

Profile-guided automated software diversity.

Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Librando: transparent code randomization for just-in-time compilers.

Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming.

Andrei Homescu, Michael Stewart, Per Larsen, Stefan Brunthaler, Michael Franz

Proceedings of the 6th USENIX Workshop on Offensive Technologies, 2012

Fine-grained modularity and reuse of virtual machine components.

Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Compiler-Generated Software Diversity.

Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz

Proceedings of the Moving Target Defense, 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

"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

ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011).

Adam Welc, Michael Franz, Krzysztof Palacz

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Compartmental memory management in a modern web browser.

Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz

Proceedings of the 10th International Symposium on Memory Management, 2011

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

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010

Trace-based compilation in execution environments without interpreters.

Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

E unibus pluram: massive-scale software diversity as a defense mechanism.

Michael Franz

Proceedings of the 2010 Workshop on New Security Paradigms, 2010

Decentralized information flow control on a bare-metal JVM.

Karthikeyan Manivannan, Christian Wimmer, Michael Franz

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Multi-variant program execution for vulnerability detection and analysis.

Todd Jackson, Christian Wimmer, Michael Franz

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Linear scan register allocation on SSA form.

Christian Wimmer, Michael Franz

Proceedings of the CGO 2010, 2010

2009

Mostly static program partitioning of binary executables.

Efe Yardimci, Michael Franz

ACM Trans. Program. Lang. Syst., 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

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

Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

Stream-Based Dynamic Compilation for Object-Oriented Languages.

Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Phase detection using trace compilation.

Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

SlimVM: a small footprint Java virtual machine for connected embedded systems.

Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 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, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space.

Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

Optimization of dynamic languages using hierarchical layering of virtual machines.

Alexander Yermolovich, Christian Wimmer, Michael Franz

Proceedings of the 5th Symposium on Dynamic Languages, 2009

2008

Java bytecode verification via static single assignment form.

Andreas Gal, Christian W. Probst, Michael Franz

ACM Trans. Program. Lang. Syst., 2008

Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms.

Efe Yardimci, Michael Franz

J. Instr. Level Parallelism, 2008

Eliminating Trust From Application Programs By Way Of Software Architecture.

Michael Franz

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Portable execution of legacy binaries on the Java virtual machine.

Alexander Yermolovich, Andreas Gal, Michael Franz

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Slim VM: optimistic partial program loading for connected embedded Java virtual machines.

Gregor Wagner, Andreas Gal, Michael Franz

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives.

Lei Wang, Michael Franz

Proceedings of the 14th International Conference on Parallel and Distributed Systems, 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, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

Eliminating the insider threat in software development by combining parallelism, randomization and checkpointing.

Michael Franz

Proceedings of the 4th annual workshop on Cyber security and information intelligence research, 2008

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

Proceedings of the Second International Conference on Complex, 2008

2007

SSA-based mobile code: Implementation and empirical evaluation.

Wolfram Amme, Jeffery von Ronne, Michael Franz

ACM Trans. Archit. Code Optim., 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

Containing the Ultimate Trojan Horse.

Michael Franz

IEEE Secur. Priv., 2007

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration.

Michael Franz, Andreas Gal, Christian W. Probst

Proceedings of the Software Engineering 2007, 2007

Implementing fast JVM interpreters using Java itself.

Michael Bebenita, Andreas Gal, Michael Franz

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine.

Deepak Chandra, Michael Franz

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

HotpathVM: an effective JIT compiler for resource-constrained devices.

Andreas Gal, Christian W. Probst, Michael Franz

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

Dynamic parallelization and mapping of binary executables on hierarchical platforms.

Efe Yardimci, Michael Franz

Proceedings of the Third Conference on Computing Frontiers, 2006

OSEK/VDX API for Java.

Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005

Supporting software composition at the programming language level.

Peter H. Fröhlich, Andreas Gal, Michael Franz

Sci. Comput. Program., 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

Structural Encoding of Static Single Assignment Form.

Andreas Gal, Christian W. Probst, Michael Franz

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

Integrated Java Bytecode Verification.

Andreas Gal, Christian W. Probst, Michael Franz

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Quantifying the Benefits of SSA-Based Mobile Code.

Wolfram Amme, Jeffery von Ronne, Michael Franz

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

Power reduction techniques for microprocessor systems.

Vasanth Venkatachalam, Michael Franz

ACM Comput. Surv., 2005

Average case vs. worst case: margins of safety in system design.

Christian W. Probst, Andreas Gal, Michael Franz

Proceedings of the New Security Paradigms Workshop 2005, 2005

A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing.

Vasanth Venkatachalam, Christian W. Probst, Michael Franz

Proceedings of the Power-aware Computing Systems, 3.-8. April 2005, 2005

Dynamic Taint Propagation for Java.

Vivek Haldar, Deepak Chandra, Michael Franz

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

Symmetric behavior-based trust: a new paradigm for internet computing.

Vivek Haldar, Michael Franz

Proceedings of the New Security Paradigms Workshop 2004, 2004

Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing.

Vivek Haldar, Deepak Chandra, Michael Franz

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

Interpreting programs in static single assignment form.

Jeffery von Ronne, Ning Wang, Michael Franz

Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, 2004

Efficiently Verifiable Escape Analysis.

Matthew Q. Beers, Christian H. Stork, Michael Franz

Proceedings of the ECOOP 2004, 2004

2003

Continuous program optimization: A case study.

Thomas Kistler, Michael Franz

ACM Trans. Program. Lang. Syst., 2003

Effiziente Codegenerierung für mobilen Code.

Wolfram Amme, Michael Franz

Inform. Spektrum, 2003

Code Annotation for Safe and Efficient Dynamic Object Resolution.

Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Safe Code - It's Not Just for Applets Anymore.

Michael Franz

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

A portable Virtual Machine target for Proof-Carrying Code.

Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang

Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, 2003

2002

Towards trusted systems from the ground up.

Vivek Haldar, Michael Franz

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Efficient online optimization by utilizing offline analysis and the safeTSA representation.

Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

The source is the proof.

Vivek Haldar, Christian H. Stork, Michael Franz

Proceedings of the 2002 Workshop on New Security Paradigms, 2002

2001

Towards Language-Agnostic Mobile Code.

Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Continuous Program Optimization: Design and Evaluation.

Thomas Kistler, Michael Franz

IEEE Trans. Computers, 2001

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

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Automated data-member layout of help objects to improve memory-hierarchy performance.

Thomas Kistler, Michael Franz

ACM Trans. Program. Lang. Syst., 2000

Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages.

Peter H. Fröhlich, Michael Franz

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2000

Oberon - The Overlooked Jewel.

Michael Franz

Proceedings of the School of Niklaus Wirth, "The Art of Simplicity", 2000

1999

A Tree-Based Alternative to Java Byte-Codes.

Thomas Kistler, Michael Franz

Int. J. Parallel Program., 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

Towards language support for component-oriented real-time programming.

Michael Franz, Peter H. Fröhlich, Thomas Kistler

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

1998

The Java Virtual Machine: A Passing Fad?

Michael Franz

IEEE Softw., 1998

Open Standards Beyond Java: On the Future of Mobile Code for the Internet.

Michael Franz

J. Univers. Comput. Sci., 1998

Java - Anmerkungen eines Wirth-Schülers.

Michael Franz

Inform. Spektrum, 1998

1997

The Programming Language Lagoona - A Fresh Look at Object-Orientation.

Michael Franz

Softw. Concepts Tools, 1997

Dynamic Linking of Software Components.

Michael Franz

Computer, 1997

Slim Binaries.

Michael Franz, Thomas Kistler

Commun. ACM, 1997

Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web.

Michael Franz

Proceedings of WebNet 97, 1997

Run-Time Code Generation as a Central System Service.

Michael Franz

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

1996

Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems.

Michael Franz

Proceedings of the Mobile Object Systems, 1996

1995

Protocol Extension: A Technique for Structuring Large Extensible Software-Systems.

Michael Franz

Softw. Concepts Tools, 1995

The Oberon System Family.

Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ

Softw. Pract. Exp., 1995

1994

Technological Steps toward a Software Component Industry.

Michael Franz

Proceedings of the Programming Languages and System Architectures, 1994

1993

The Case for Universal Symbol Files.

Michael Franz

Struct. Program., 1993

Emulating an Operating System on Top of Another.

Michael Franz

Softw. Pract. Exp., 1993

1991

The rewards of generating true 32-bit code.

Michael Franz

ACM SIGPLAN Notices, 1991