Michael Franz - RankMe

173 papers A* 18A 18B 6C 14Misc 2Journal 57Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A high-precision hierarchical registration approach for stain- and scanner-independent colocalization on whole slide images in histopathology. Health Inf. Sci. Syst. Tom Bisson, Michael Franz, Tim-Rasmus Kiehl, Peter Boor, Peter Hufnagl, Norman Zerbe
2025	Misc	`conf`	Unlocking the AMD Neural Processing Unit for ML Training on the Client Using Bare-Metal-Programming Tools. FCCM André Rösti, Michael Franz
2025	J	`jnl`	Unlocking the AMD Neural Processing Unit for ML Training on the Client Using Bare-Metal-Programming Tools. CoRR André Rösti, Michael Franz
2024	A	`conf`	I'll Be There for You! Perpetual Availability in the A ACSAC André Rösti, Stijn Volckaert, Michael Franz, Alexios Voulimeneas
2024	J	`jnl`	Joining Forces for Pathology Diagnostics with AI Assistance: The EMPAIA Initiative. CoRR 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
2024	A	`conf`	Polynima: Practical Hybrid Recompilation for Multithreaded Binaries. EuroSys Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz
2024	J	`jnl`	The Astonishing Evolution of Probabilistic Memory Safety: From Basic Heap-Data Attack Detection Toward Fully Survivable Multivariant Execution. IEEE Secur. Priv. André Rösti, Alexios Voulimeneas, Michael Franz
2024	—	`conf`	What You Trace is What You Get: Dynamic Stack-Layout Recovery for Binary Recompilation. ASPLOS (2) Fabian Parzefall, Chinmay Deshpande, Felicitas Hetzelt, Michael Franz
2023	—	`conf`	A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. ESEC/SIGSOFT FSE Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz
2023	J	`jnl`	Method for Using IMU-Based Experimental Motion Data in BVH Format for Musculoskeletal Simulations via OpenSim. Sensors Iris Wechsler, Alexander Wolf, Sophie Fleischmann, Julian Waibel, Carla Molz, David Scherb, Julian Shanbhag, Michael Franz, Sandro Wartzack, Jörg Miehling
2023	J	`jnl`	The vendor-agnostic EMPAIA platform for integrating AI applications into digital pathology infrastructures. Future Gener. Comput. Syst. 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
2022	J	`jnl`	Anonymization of Whole Slide Images in Histopathology for Research and Education. CoRR Tom Bisson, Michael Franz, Isil Dogan O, Daniel Romberg, Christoph Jansen, Peter Hufnagl, Norman Zerbe
2022	J	`jnl`	DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases. CoRR Min-Yih Hsu, Felicitas Hetzelt, Michael Franz
2022	A	`conf`	Improving cross-platform binary analysis using representation learning via graph alignment. ISSTA Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song
2022	J	`jnl`	MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing. CoRR Min-Yih Hsu, David Gens, Michael Franz
2022	A	`conf`	PKRU-safe: automatically locking down the heap between safe and unsafe languages. EuroSys Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz
2022	B	`conf`	The EMPAIA Platform: Vendor-neutral integration of AI applications into digital pathology infrastructures. CCGRID Christoph Jansen, Klaus Strohmenger, Daniel Romberg, Tobias Küster, Nick Weiss, Björn Lindequist, Michael Franz, André Homeyer, Norman Zerbe
2022	—	`conf`	The Ticket Price Matters in Sharding Blockchain. DPM/CBT@ESORICS Geunwoo Kim, Michael Franz, Jong Kim
2021	—	`conf`	Better Keep Cash in Your Boots - Hardware Wallets are the New Single Point of Failure. DeFi@CCS Adrian Dabrowski, Katharina Pfeffer, Markus Reichel, Alexandra Mai, Edgar R. Weippl, Michael Franz
2021	J	`jnl`	KALD: Detecting Direct Pointer Disclosure Vulnerabilities. IEEE Trans. Dependable Secur. Comput. Brian Belleville, Wenbo Shen, Stijn Volckaert, Ahmed M. Azab, Michael Franz
2021	A*	`conf`	On the Usability of Authenticity Checks for Hardware Security Tokens. USENIX Security Symposium Katharina Pfeffer, Alexandra Mai, Adrian Dabrowski, Matthias Gusenbauer, Philipp Schindler, Edgar R. Weippl, Michael Franz, Katharina Krombholz
2021	—	`conf`	StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries. AISec@CCS Chinmay Deshpande, David Gens, Michael Franz
2021	—	`conf`	dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. EuroSec@EuroSys Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert
2020	—	`conf`	Adoption Challenges of Code Randomization. MTD@CCS Per Larsen, Michael Franz
2020	A*	`conf`	Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints. USENIX Security Symposium Dokyung Song, Felicitas Hetzelt, Jonghwan Kim, Brent ByungHoon Kang, Jean-Pierre Seifert, Michael Franz
2020	A	`conf`	BinRec: dynamic binary lifting and recompilation. EuroSys 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	A	`conf`	CoDaRR: Continuous Data Space Randomization against Data-Only Attacks. AsiaCCS Prabhu Rajasekaran, Stephen Crane, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz
2020	B	`conf`	Distributed Heterogeneous N-Variant Execution. DIMVA Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert
2020	A*	`conf`	NoJITsu: Locking Down JavaScript Engines. NDSS Taemin Park, Karel Dhondt, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz
2020	A*	`conf`	V0LTpwn: Attacking x86 Processor Integrity from Software. USENIX Security Symposium Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi
2020	J	`jnl`	dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. CoRR Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert
2019	J	`jnl`	DMON: A Distributed Heterogeneous N-Variant System. CoRR Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert
2019	A*	`conf`	PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary. NDSS Dokyung Song, Felicitas Hetzelt, Dipanjan Das, Chad Spensky, Yeoul Na, Stijn Volckaert, Giovanni Vigna, Christopher Kruegel, Jean-Pierre Seifert, Michael Franz
2019	A*	`conf`	SoK: Sanitizing for Security. IEEE Symposium on Security and Privacy Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
2019	J	`jnl`	V0LTpwn: Attacking x86 Processor Integrity from Software. CoRR Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi
2018	A	`conf`	Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. ECOOP Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz
2018	—	`conf`	BinRec: Attack Surface Reduction Through Dynamic Binary Recovery. FEAST@CCS Taddeus Kroes, Anil Altinay, Joseph Nash, Yeoul Na, Stijn Volckaert, Herbert Bos, Michael Franz, Cristiano Giuffrida
2018	B	`conf`	Bytecode Corruption Attacks Are Real - And How to Defend Against Them. DIMVA Taemin Park, Julian Lettner, Yeoul Na, Stijn Volckaert, Michael Franz
2018	—	`ch.`	Diversity and information leaks. The Continuing Arms Race Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz
2018	A	`conf`	Hardware Assisted Randomization of Data. RAID Brian Belleville, Hyungon Moon, Jangseop Shin, Dongil Hwang, Joseph M. Nash, Seonhwa Jung, Yeoul Na, Stijn Volckaert, Per Larsen, Yunheung Paek, Michael Franz
2018	J	`jnl`	Making Multivariant Programming Practical and Inexpensive. IEEE Secur. Priv. Michael Franz
2018	A	`conf`	PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning. RAID Julian Lettner, Dokyung Song, Taemin Park, Per Larsen, Stijn Volckaert, Michael Franz
2018	J	`jnl`	SoK: Sanitizing for Security. CoRR Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
2017	A*	`conf`	Address Oblivious Code Reuse: On the Effectiveness of Leakage Resilient Diversity. NDSS 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
2017	J	`jnl`	Control-Flow Integrity: Precision, Security, and Performance. ACM Comput. Surv. Nathan Burow, Scott A. Carr, Joseph Nash, Per Larsen, Michael Franz, Stefan Brunthaler, Mathias Payer
2017	J	`jnl`	Large-Scale Automated Software Diversity - Program Evolution Redux. IEEE Trans. Dependable Secur. Comput. Andrei Homescu, Todd Jackson, Stephen Crane, Stefan Brunthaler, Per Larsen, Michael Franz
2017	J	`jnl`	PartiSan: Fast and Flexible Sanitization via Run-time Partitioning. CoRR Julian Lettner, Dokyung Song, Taemin Park, Stijn Volckaert, Per Larsen, Michael Franz
2017	A	`conf`	Taming Parallelism in a Multi-Variant Execution Environment. EuroSys Stijn Volckaert, Bart Coppens, Bjorn De Sutter, Koen De Bosschere, Per Larsen, Michael Franz
2017	A*	`conf`	Venerable Variadic Vulnerabilities Vanquished. USENIX Security Symposium Priyam Biswas, Alessandro Di Federico, Scott A. Carr, Prabhu Rajasekaran, Stijn Volckaert, Yeoul Na, Michael Franz, Mathias Payer
2016	J	`jnl`	Coherent campaigns? Campaign broadcast and social messaging. Online Inf. Rev. Leticia Bode, David Lassen, Young Mie Kim, Dhavan V. Shah, Erika Franklin Fowler, Travis Ridout, Michael Franz
2016	J	`jnl`	Control-Flow Integrity: Precision, Security, and Performance. CoRR Nathan Burow, Scott A. Carr, Stefan Brunthaler, Mathias Payer, Joseph Nash, Per Larsen, Michael Franz
2016	A*	`conf`	Leakage-Resilient Layout Randomization for Mobile Devices. NDSS Kjell Braden, Lucas Davi, Christopher Liebchen, Ahmad-Reza Sadeghi, Stephen Crane, Michael Franz, Per Larsen
2016	—	`conf`	Secure and Efficient Application Monitoring and Replication. USENIX ATC Stijn Volckaert, Bart Coppens, Alexios Voulimeneas, Andrei Homescu, Per Larsen, Bjorn De Sutter, Michael Franz
2016	—	`conf`	Subversive-C: Abusing and Protecting Dynamic Message Dispatch. USENIX ATC Julian Lettner, Benjamin Kollenda, Andrei Homescu, Per Larsen, Felix Schuster, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Michael Franz
2016	J	`jnl`	Thinking Inside the Box: Compartmentalized Garbage Collection. ACM Trans. Program. Lang. Syst. Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz
2016	—	`ed.`	Trust and Trustworthy Computing - 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings TRUST Michael Franz, Panos Papadimitratos
2015	C	`conf`	Active Integrity Constraints: From Theory to Implementation. IC3K Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015	—	`conf`	An Efficient and Generic Event-based Profiler Framework for Dynamic Languages. PPPJ Gülfem Savrun-Yeniçeri, Michael L. Van de Vanter, Per Larsen, Stefan Brunthaler, Michael Franz
2015	—	`book`	Automated Software Diversity Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, Michael Franz
2015	J	`jnl`	Automatic Software Diversity. IEEE Secur. Priv. Per Larsen, Stefan Brunthaler, Michael Franz
2015	—	`conf`	From Fine Grained Code Diversity to JIT-ROP to Execute-Only Memory: The Cat and Mouse Game Between Attackers and Defenders Continues. MTD@CCS Michael Franz
2015	A*	`conf`	It's a TRaP: Table Randomization and Protection against Function-Reuse Attacks. CCS Stephen J. Crane, Stijn Volckaert, Felix Schuster, Christopher Liebchen, Per Larsen, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Bjorn De Sutter, Michael Franz
2015	A*	`conf`	Losing Control: On the Effectiveness of Control-Flow Integrity under Stack Attacks. CCS Mauro Conti, Stephen Crane, Lucas Davi, Michael Franz, Per Larsen, Marco Negro, Christopher Liebchen, Mohaned Qunaibit, Ahmad-Reza Sadeghi
2015	A*	`conf`	Opaque Control-Flow Integrity. NDSS Vishwath Mohan, Per Larsen, Stefan Brunthaler, Kevin W. Hamlen, Michael Franz
2015	J	`jnl`	OpenLabNotes - An Electronic Laboratory Notebook Extension for OpenLabFramework. J. Integr. Bioinform. Markus List, Michael Franz, Qihua Tan, Jan Mollenhauer, Jan Baumbach
2015	A*	`conf`	Readactor: Practical Code Randomization Resilient to Memory Disclosure. IEEE Symposium on Security and Privacy Stephen Crane, Christopher Liebchen, Andrei Homescu, Lucas Davi, Per Larsen, Ahmad-Reza Sadeghi, Stefan Brunthaler, Michael Franz
2015	C	`conf`	Safe and efficient hybrid memory management for Java. ISMM Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2015	A*	`conf`	Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity. NDSS Stephen Crane, Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz
2015	J	`jnl`	repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015	—	`conf`	repAIrC: A Tool for Ensuring Data Consistency. KMIS Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2014	A	`conf`	Accelerating iterators in optimizing AST interpreters. OOPSLA Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz
2014	—	`conf`	Comparing points-to static analysis with runtime recorded profiling data. PPPJ Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2014	J	`jnl`	Efficient hosted interpreters on the JVM. ACM Trans. Archit. Code Optim. Gülfem Savrun-Yeniçeri, Wei Zhang, Huahan Zhang, Eric Seckler, Chen Li, Stefan Brunthaler, Per Larsen, Michael Franz
2014	J	`jnl`	Security through Diversity: Are We There Yet? IEEE Secur. Priv. Per Larsen, Stefan Brunthaler, Michael Franz
2014	J	`jnl`	Similarity-based matching meets Malware Diversity. CoRR Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz
2014	A*	`conf`	SoK: Automated Software Diversity. IEEE Symposium on Security and Privacy Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz
2014	—	`conf`	Software Profiling Options and Their Effects on Security Based Diversification. MTD@CCS Mark Murphy, Per Larsen, Stefan Brunthaler, Michael Franz
2013	C	`conf`	Booby trapping software. NSPW Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz
2013	C	`conf`	CrowdFlow: Efficient Information Flow Security. ISC Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz
2013	—	`ch.`	Diversifying the Software Stack Using Randomized NOP Insertion. Moving Target Defense Todd Jackson, Andrei Homescu, Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz
2013	—	`conf`	Efficient interpreter optimizations for the JVM. PPPJ Gülfem Savrun-Yeniçeri, Wei Zhang, Huahan Zhang, Chen Li, Stefan Brunthaler, Per Larsen, Michael Franz
2013	—	`conf`	First-Class Labels: Using Information Flow to Debug Security Holes. TRUST Eric Hennigan, Christoph Kerschbaumer, Stefan Brunthaler, Per Larsen, Michael Franz
2013	J	`jnl`	Information flow tracking meets just-in-time compilation. ACM Trans. Archit. Code Optim. Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz
2013	A*	`conf`	Librando: transparent code randomization for just-in-time compilers. CCS Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz
2013	A	`conf`	Profile-guided automated software diversity. CGO Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz
2013	—	`conf`	Towards Precise and Efficient Information Flow Control in Web Browsers. TRUST Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz
2012	—	`conf`	Fine-grained modularity and reuse of virtual machine components. AOSD Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2012	—	`conf`	Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming. WOOT Andrei Homescu, Michael Stewart, Per Larsen, Stefan Brunthaler, Michael Franz
2011	J	`jnl`	"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. Sci. Comput. Program. Gregor Wagner, Andreas Gal, Michael Franz
2011	—	`conf`	ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). OOPSLA Companion Adam Welc, Michael Franz, Krzysztof Palacz
2011	C	`conf`	Compartmental memory management in a modern web browser. ISMM Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
2011	—	`ch.`	Compiler-Generated Software Diversity. Moving Target Defense Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz
2011	J	`jnl`	Runtime Defense against Code Injection Attacks Using Replicated Execution. IEEE Trans. Dependable Secur. Comput. Babak Salamat, Todd Jackson, Gregor Wagner, Christian Wimmer, Michael Franz
2011	C	`conf`	The impact of optional type information on jit compilation of dynamically typed languages. DLS Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz
2010	—	`conf`	Decentralized information flow control on a bare-metal JVM. CSIIRW Karthikeyan Manivannan, Christian Wimmer, Michael Franz
2010	C	`conf`	E unibus pluram: massive-scale software diversity as a defense mechanism. NSPW Michael Franz
2010	A	`conf`	Linear scan register allocation on SSA form. CGO Christian Wimmer, Michael Franz
2010	—	`conf`	Multi-variant program execution for vulnerability detection and analysis. CSIIRW Todd Jackson, Christian Wimmer, Michael Franz
2010	—	`conf`	Trace-based compilation in execution environments without interpreters. PPPJ Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz
2010	A	`ed.`	Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010 ACSAC Carrie Gates, Michael Franz, John P. McDermott
2009	J	`jnl`	Mostly static program partitioning of binary executables. ACM Trans. Program. Lang. Syst. Efe Yardimci, Michael Franz
2009	C	`conf`	Optimization of dynamic languages using hierarchical layering of virtual machines. DLS Alexander Yermolovich, Christian Wimmer, Michael Franz
2009	A	`conf`	Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. EuroSys Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz
2009	—	`conf`	Phase detection using trace compilation. PPPJ Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
2009	—	`conf`	SlimVM: a small footprint Java virtual machine for connected embedded systems. PPPJ Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz
2009	—	`conf`	Stream-Based Dynamic Compilation for Object-Oriented Languages. TOOLS (47) Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
2009	J	`jnl`	The effectiveness of producer-side machine-independent optimizations for mobile code. Softw. Pract. Exp. Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz
2009	A*	`conf`	Trace-based just-in-time type specialization for dynamic languages. PLDI 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	B	`conf`	Tracing for web 3.0: trace compilation for the next generation web applications. VEE Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
2008	—	`conf`	08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. 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
2008	B	`conf`	Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. ICPADS Lei Wang, Michael Franz
2008	J	`jnl`	Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms. J. Instr. Level Parallelism Efe Yardimci, Michael Franz
2008	C	`conf`	Eliminating Trust From Application Programs By Way Of Software Architecture. Software Engineering Michael Franz
2008	—	`conf`	Eliminating the insider threat in software development by combining parallelism, randomization and checkpointing. CSIIRW Michael Franz
2008	J	`jnl`	Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. Andreas Gal, Christian W. Probst, Michael Franz
2008	Misc	`conf`	Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. CISIS Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz
2008	—	`conf`	Portable execution of legacy binaries on the Java virtual machine. PPPJ Alexander Yermolovich, Andreas Gal, Michael Franz
2008	—	`conf`	Slim VM: optimistic partial program loading for connected embedded Java virtual machines. PPPJ Gregor Wagner, Andreas Gal, Michael Franz
2007	J	`jnl`	A new way of estimating compute-boundedness and its application to dynamic voltage scaling. Int. J. Embed. Syst. Vasanth Venkatachalam, Michael Franz, Christian W. Probst
2007	C	`conf`	Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. Software Engineering Michael Franz, Andreas Gal, Christian W. Probst
2007	J	`jnl`	Containing the Ultimate Trojan Horse. IEEE Secur. Priv. Michael Franz
2007	A	`conf`	Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. ACSAC Deepak Chandra, Michael Franz
2007	—	`conf`	Implementing fast JVM interpreters using Java itself. PPPJ Michael Bebenita, Andreas Gal, Michael Franz
2007	J	`jnl`	SSA-based mobile code: Implementation and empirical evaluation. ACM Trans. Archit. Code Optim. Wolfram Amme, Jeffery von Ronne, Michael Franz
2006	—	`conf`	Dynamic parallelization and mapping of binary executables on hierarchical platforms. Conf. Computing Frontiers Efe Yardimci, Michael Franz
2006	B	`conf`	HotpathVM: an effective JIT compiler for resource-constrained devices. VEE Andreas Gal, Christian W. Probst, Michael Franz
2006	C	`conf`	OSEK/VDX API for Java. PLOS Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz
2005	—	`conf`	A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems Vasanth Venkatachalam, Christian W. Probst, Michael Franz
2005	J	`jnl`	A portable virtual machine target for proof-carrying code. Sci. Comput. Program. Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang
2005	C	`conf`	Average case vs. worst case: margins of safety in system design. NSPW Christian W. Probst, Andreas Gal, Michael Franz
2005	A	`conf`	Dynamic Taint Propagation for Java. ACSAC Vivek Haldar, Deepak Chandra, Michael Franz
2005	—	`conf`	Integrated Java Bytecode Verification. AIOOL@VMCAI Andreas Gal, Christian W. Probst, Michael Franz
2005	J	`jnl`	Power reduction techniques for microprocessor systems. ACM Comput. Surv. Vasanth Venkatachalam, Michael Franz
2005	—	`conf`	Quantifying the Benefits of SSA-Based Mobile Code. COCV Wolfram Amme, Jeffery von Ronne, Michael Franz
2005	—	`conf`	Structural Encoding of Static Single Assignment Form. COCV Andreas Gal, Christian W. Probst, Michael Franz
2005	J	`jnl`	Supporting software composition at the programming language level. Sci. Comput. Program. Peter H. Fröhlich, Andreas Gal, Michael Franz
2004	—	`conf`	Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing. Virtual Machine Research and Technology Symposium Vivek Haldar, Deepak Chandra, Michael Franz
2004	A	`conf`	Efficiently Verifiable Escape Analysis. ECOOP Matthew Q. Beers, Christian H. Stork, Michael Franz
2004	—	`conf`	Interpreting programs in static single assignment form. IVME Jeffery von Ronne, Ning Wang, Michael Franz
2004	—	`ed.`	Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2004, Washington, D.C., USA, June 7, 2004 IVME Michael Franz, Etienne M. Gagnon
2004	C	`conf`	Symmetric behavior-based trust: a new paradigm for internet computing. NSPW Vivek Haldar, Michael Franz
2003	—	`conf`	A portable Virtual Machine target for Proof-Carrying Code. IVME Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang
2003	—	`conf`	Code Annotation for Safe and Efficient Dynamic Object Resolution. COCV Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz
2003	J	`jnl`	Continuous program optimization: A case study. ACM Trans. Program. Lang. Syst. Thomas Kistler, Michael Franz
2003	J	`jnl`	Effiziente Codegenerierung für mobilen Code. Inform. Spektrum Wolfram Amme, Michael Franz
2003	—	`conf`	Safe Code - It's Not Just for Applets Anymore. JMLC Michael Franz
2002	—	`conf`	Efficient online optimization by utilizing offline analysis and the safeTSA representation. PPPJ/IRE Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz
2002	C	`conf`	The source is the proof. NSPW Vivek Haldar, Christian H. Stork, Michael Franz
2002	—	`conf`	Towards trusted systems from the ground up. ACM SIGOPS European Workshop Vivek Haldar, Michael Franz
2001	J	`jnl`	Continuous Program Optimization: Design and Evaluation. IEEE Trans. Computers Thomas Kistler, Michael Franz
2001	A*	`conf`	SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. PLDI Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne
2001	—	`conf`	Towards Language-Agnostic Mobile Code. BABEL Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz
2000	J	`jnl`	Automated data-member layout of help objects to improve memory-hierarchy performance. ACM Trans. Program. Lang. Syst. Thomas Kistler, Michael Franz
2000	—	`conf`	Oberon - The Overlooked Jewel. The School of Niklaus Wirth Michael Franz
2000	—	`conf`	Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages. JMLC Peter H. Fröhlich, Michael Franz
1999	J	`jnl`	A Tree-Based Alternative to Java Byte-Codes. Int. J. Parallel Program. Thomas Kistler, Michael Franz
1999	J	`jnl`	Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service CoRR Thomas Kistler, Michael Franz
1999	—	`conf`	Towards language support for component-oriented real-time programming. WORDS (Fall) Michael Franz, Peter H. Fröhlich, Thomas Kistler
1998	J	`jnl`	Java - Anmerkungen eines Wirth-Schülers. Inform. Spektrum Michael Franz
1998	J	`jnl`	Open Standards Beyond Java: On the Future of Mobile Code for the Internet. J. Univers. Comput. Sci. Michael Franz
1998	J	`jnl`	The Java Virtual Machine: A Passing Fad? IEEE Softw. Michael Franz
1997	—	`conf`	Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web. WebNet Michael Franz
1997	J	`jnl`	Dynamic Linking of Software Components. Computer Michael Franz
1997	—	`conf`	Run-Time Code Generation as a Central System Service. Workshop on Hot Topics in Operating Systems Michael Franz
1997	J	`jnl`	Slim Binaries. Commun. ACM Michael Franz, Thomas Kistler
1997	J	`jnl`	The Programming Language Lagoona - A Fresh Look at Object-Orientation. Softw. Concepts Tools Michael Franz
1996	—	`conf`	Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems. Mobile Object Systems Michael Franz
1995	J	`jnl`	Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. Softw. Concepts Tools Michael Franz
1995	J	`jnl`	The Oberon System Family. Softw. Pract. Exp. Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ
1994	—	`conf`	Technological Steps toward a Software Component Industry. Programming Languages and System Architectures Michael Franz
1993	J	`jnl`	Emulating an Operating System on Top of Another. Softw. Pract. Exp. Michael Franz
1993	J	`jnl`	The Case for Universal Symbol Files. Struct. Program. Michael Franz
1991	J	`jnl`	The rewards of generating true 32-bit code. ACM SIGPLAN Notices Michael Franz