default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Franz
Person information
- affiliation: University of California, Irvine, USA
- award (2019): Humboldt Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j42]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): 66-75 (2024)- [c105]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: 1250-1263 - [c104]Chinmay Deshpande, Fabian Parzefall, Felicitas Hetzelt, Michael Franz:
Polynima: Practical Hybrid Recompilation for Multithreaded Binaries. EuroSys 2024: 1126-1141 - [i15]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 abs/2401.09450 (2024) - 2023
- [j41]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: 209-224 (2023) - [j40]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): 5423 (2023) - [c103]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: 821-831 - 2022
- [c102]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: 1017-1027 - [c101]Geunwoo Kim, Michael Franz, Jong Kim:
The Ticket Price Matters in Sharding Blockchain. DPM/CBT@ESORICS 2022: 185-202 - [c100]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: 132-148 - [c99]Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song:
Improving cross-platform binary analysis using representation learning via graph alignment. ISSTA 2022: 151-163 - [i14]Min-Yih Hsu, David Gens, Michael Franz:
MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing. CoRR abs/2201.04804 (2022) - [i13]Min-Yih Hsu, Felicitas Hetzelt, Michael Franz:
DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases. CoRR abs/2209.02638 (2022) - [i12]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 abs/2211.06103 (2022) - 2021
- [j39]Brian Belleville, Wenbo Shen, Stijn Volckaert, Ahmed M. Azab, Michael Franz:
KALD: Detecting Direct Pointer Disclosure Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 18(3): 1369-1377 (2021) - [c98]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: 1-8 - [c97]Chinmay Deshpande, David Gens, Michael Franz:
StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery on Stripped and Optimized Binaries. AISec@CCS 2021: 85-95 - [c96]Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert:
dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. EuroSec@EuroSys 2021: 41-47 - [c95]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: 37-54 - 2020
- [c94]Per Larsen, Michael Franz:
Adoption Challenges of Code Randomization. MTD@CCS 2020: 45-49 - [c93]Prabhu Rajasekaran, Stephen Crane, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz:
CoDaRR: Continuous Data Space Randomization against Data-Only Attacks. AsiaCCS 2020: 494-505 - [c92]Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert:
Distributed Heterogeneous N-Variant Execution. DIMVA 2020: 217-237 - [c91]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: 36:1-36:16 - [c90]Taemin Park, Karel Dhondt, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz:
NoJITsu: Locking Down JavaScript Engines. NDSS 2020 - [c89]Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi:
V0LTpwn: Attacking x86 Processor Integrity from Software. USENIX Security Symposium 2020: 1445-1461 - [c88]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: 2541-2557 - [i11]Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert:
dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting. CoRR abs/2011.02091 (2020)
2010 – 2019
- 2019
- [c87]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 - [c86]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: 1275-1295 - [i10]Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert:
DMON: A Distributed Heterogeneous N-Variant System. CoRR abs/1903.03643 (2019) - [i9]Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi:
V0LTpwn: Attacking x86 Processor Integrity from Software. CoRR abs/1912.04870 (2019) - 2018
- [j38]Michael Franz:
Making Multivariant Programming Practical and Inexpensive. IEEE Secur. Priv. 16(3): 90-94 (2018) - [c85]Taemin Park, Julian Lettner, Yeoul Na, Stijn Volckaert, Michael Franz:
Bytecode Corruption Attacks Are Real - And How to Defend Against Them. DIMVA 2018: 326-348 - [c84]Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz:
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. ECOOP 2018: 16:1-16:29 - [c83]Taddeus Kroes, Anil Altinay, Joseph Nash, Yeoul Na, Stijn Volckaert, Herbert Bos, Michael Franz, Cristiano Giuffrida:
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery. FEAST@CCS 2018: 8-13 - [c82]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: 337-358 - [c81]Julian Lettner, Dokyung Song, Taemin Park, Per Larsen, Stijn Volckaert, Michael Franz:
PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning. RAID 2018: 403-422 - [p3]Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz:
Diversity and information leaks. The Continuing Arms Race 2018: 61-79 - [i8]Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz:
SoK: Sanitizing for Security. CoRR abs/1806.04355 (2018) - 2017
- [j37]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): 16:1-16:33 (2017) - [j36]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): 158-171 (2017) - [c80]Stijn Volckaert, Bart Coppens, Bjorn De Sutter, Koen De Bosschere, Per Larsen, Michael Franz:
Taming Parallelism in a Multi-Variant Execution Environment. EuroSys 2017: 270-285 - [c79]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 - [c78]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: 186-198 - [i7]Julian Lettner, Dokyung Song, Taemin Park, Stijn Volckaert, Per Larsen, Michael Franz:
PartiSan: Fast and Flexible Sanitization via Run-time Partitioning. CoRR abs/1711.08108 (2017) - 2016
- [j35]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): 580-594 (2016) - [j34]Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz:
Thinking Inside the Box: Compartmentalized Garbage Collection. ACM Trans. Program. Lang. Syst. 38(3): 9:1-9:37 (2016) - [c77]Kjell Braden, Lucas Davi, Christopher Liebchen, Ahmad-Reza Sadeghi, Stephen Crane, Michael Franz, Per Larsen:
Leakage-Resilient Layout Randomization for Mobile Devices. NDSS 2016 - [c76]Stijn Volckaert, Bart Coppens, Alexios Voulimeneas, Andrei Homescu, Per Larsen, Bjorn De Sutter, Michael Franz:
Secure and Efficient Application Monitoring and Replication. USENIX ATC 2016: 167-179 - [c75]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 ATC 2016: 209-221 - [e3]Michael Franz, Panos Papadimitratos:
Trust and Trustworthy Computing - 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings. Lecture Notes in Computer Science 9824, Springer 2016, ISBN 978-3-319-45571-6 [contents] - [i6]Nathan Burow, Scott A. Carr, Stefan Brunthaler, Mathias Payer, Joseph Nash, Per Larsen, Michael Franz:
Control-Flow Integrity: Precision, Security, and Performance. CoRR abs/1602.04056 (2016) - 2015
- [b1]Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, Michael Franz:
Automated Software Diversity. Synthesis Lectures on Information Security, Privacy, & Trust, Morgan & Claypool Publishers 2015, ISBN 978-3-031-01218-1, pp. 1-88 - [j33]Per Larsen, Stefan Brunthaler, Michael Franz:
Automatic Software Diversity. IEEE Secur. Priv. 13(2): 30-37 (2015) - [j32]Markus List, Michael Franz, Qihua Tan, Jan Mollenhauer, Jan Baumbach:
OpenLabNotes - An Electronic Laboratory Notebook Extension for OpenLabFramework. J. Integr. Bioinform. 12(3) (2015) - [c74]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: 1 - [c73]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: 243-255 - [c72]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: 952-963 - [c71]Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp:
repAIrC: A Tool for Ensuring Data Consistency. KMIS 2015: 17-26 - [c70]Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp:
Active Integrity Constraints: From Theory to Implementation. IC3K 2015: 399-420 - [c69]Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz:
Safe and efficient hybrid memory management for Java. ISMM 2015: 81-92 - [c68]Stephen Crane, Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz:
Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity. NDSS 2015 - [c67]Vishwath Mohan, Per Larsen, Stefan Brunthaler, Kevin W. Hamlen, Michael Franz:
Opaque Control-Flow Integrity. NDSS 2015 - [c66]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: 102-112 - [c65]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: 763-780 - [i5]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 abs/1510.03989 (2015) - 2014
- [j31]Per Larsen, Stefan Brunthaler, Michael Franz:
Security through Diversity: Are We There Yet? IEEE Secur. Priv. 12(2): 28-35 (2014) - [j30]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): 9:1-9:24 (2014) - [c64]Mark Murphy, Per Larsen, Stefan Brunthaler, Michael Franz:
Software Profiling Options and Their Effects on Security Based Diversification. MTD@CCS 2014: 87-96 - [c63]Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz:
Accelerating iterators in optimizing AST interpreters. OOPSLA 2014: 727-743 - [c62]Liviu Codrut Stancu, Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz:
Comparing points-to static analysis with runtime recorded profiling data. PPPJ 2014: 157-168 - [c61]Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz:
SoK: Automated Software Diversity. IEEE Symposium on Security and Privacy 2014: 276-291 - [i4]Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz:
Similarity-based matching meets Malware Diversity. CoRR abs/1409.7760 (2014) - 2013
- [j29]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): 38:1-38:25 (2013) - [c60]Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz:
Librando: transparent code randomization for just-in-time compilers. CCS 2013: 993-1004 - [c59]Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz:
Profile-guided automated software diversity. CGO 2013: 23:1-23:11 - [c58]Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz:
CrowdFlow: Efficient Information Flow Security. ISC 2013: 321-337 - [c57]Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz:
Booby trapping software. NSPW 2013: 95-106 - [c56]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: 113-123 - [c55]Eric Hennigan, Christoph Kerschbaumer, Stefan Brunthaler, Per Larsen, Michael Franz:
First-Class Labels: Using Information Flow to Debug Security Holes. TRUST 2013: 151-168 - [c54]Christoph Kerschbaumer, Eric Hennigan, Per Larsen, Stefan Brunthaler, Michael Franz:
Towards Precise and Efficient Information Flow Control in Web Browsers. TRUST 2013: 187-195 - [p2]Todd Jackson, Andrei Homescu, Stephen Crane, Per Larsen, Stefan Brunthaler, Michael Franz:
Diversifying the Software Stack Using Randomized NOP Insertion. Moving Target Defense 2013: 151-173 - 2012
- [c53]Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz:
Fine-grained modularity and reuse of virtual machine components. AOSD 2012: 203-214 - [c52]Andrei Homescu, Michael Stewart, Per Larsen, Stefan Brunthaler, Michael Franz:
Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming. WOOT 2012: 64-76 - 2011
- [j28]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): 1037-1053 (2011) - [j27]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): 588-601 (2011) - [c51]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: 13-24 - [c50]Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz:
Compartmental memory management in a modern web browser. ISMM 2011: 119-128 - [c49]Adam Welc, Michael Franz, Krzysztof Palacz:
ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). OOPSLA Companion 2011: 331-332 - [p1]Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz:
Compiler-Generated Software Diversity. Moving Target Defense 2011: 77-98 - 2010
- [c48]Christian Wimmer, Michael Franz:
Linear scan register allocation on SSA form. CGO 2010: 170-179 - [c47]Todd Jackson, Christian Wimmer, Michael Franz:
Multi-variant program execution for vulnerability detection and analysis. CSIIRW 2010: 38 - [c46]Karthikeyan Manivannan, Christian Wimmer, Michael Franz:
Decentralized information flow control on a bare-metal JVM. CSIIRW 2010: 64 - [c45]Michael Franz:
E unibus pluram: massive-scale software diversity as a defense mechanism. NSPW 2010: 7-16 - [c44]Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz:
Trace-based compilation in execution environments without interpreters. PPPJ 2010: 59-68 - [e2]Carrie Gates, Michael Franz, John P. McDermott:
Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010. ACM 2010, ISBN 978-1-4503-0133-6 [contents]
2000 – 2009
- 2009
- [j26]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): 923-946 (2009) - [j25]Efe Yardimci, Michael Franz:
Mostly static program partitioning of binary executables. ACM Trans. Program. Lang. Syst. 31(5): 17:1-17:46 (2009) - [c43]Alexander Yermolovich, Christian Wimmer, Michael Franz:
Optimization of dynamic languages using hierarchical layering of virtual machines. DLS 2009: 79-88 - [c42]Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz:
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. EuroSys 2009: 33-46 - [c41]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: 465-478 - [c40]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: 133-142 - [c39]Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz:
Phase detection using trace compilation. PPPJ 2009: 172-181 - [c38]Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz:
Stream-Based Dynamic Compilation for Object-Oriented Languages. TOOLS (47) 2009: 77-95 - [c37]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: 71-80 - 2008
- [j24]Efe Yardimci, Michael Franz:
Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms. J. Instr. Level Parallelism 10 (2008) - [j23]Andreas Gal, Christian W. Probst, Michael Franz:
Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30(4): 21:1-21:21 (2008) - [c36]Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz:
Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. CISIS 2008: 843-848 - [c35]Michael Franz:
Eliminating the insider threat in software development by combining parallelism, randomization and checkpointing. CSIIRW 2008: 4:1 - [c34]Lei Wang, Michael Franz:
Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. ICPADS 2008: 369-376 - [c33]Alexander Yermolovich, Andreas Gal, Michael Franz:
Portable execution of legacy binaries on the Java virtual machine. PPPJ 2008: 63-72 - [c32]Gregor Wagner, Andreas Gal, Michael Franz:
Slim VM: optimistic partial program loading for connected embedded Java virtual machines. PPPJ 2008: 117-126 - [c31]Michael Franz:
Eliminating Trust From Application Programs By Way Of Software Architecture. Software Engineering 2008: 112-126 - [i3]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:
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation 2008 - 2007
- [j22]Michael Franz:
Containing the Ultimate Trojan Horse. IEEE Secur. Priv. 5(4): 52-56 (2007) - [j21]Vasanth Venkatachalam, Michael Franz, Christian W. Probst:
A new way of estimating compute-boundedness and its application to dynamic voltage scaling. Int. J. Embed. Syst. 3(1/2): 17-30 (2007) - [j20]Wolfram Amme, Jeffery von Ronne, Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation. ACM Trans. Archit. Code Optim. 4(2): 13 (2007) - [c30]Deepak Chandra, Michael Franz:
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. ACSAC 2007: 463-475 - [c29]Michael Bebenita, Andreas Gal, Michael Franz:
Implementing fast JVM interpreters using Java itself. PPPJ 2007: 145-154 - [c28]Michael Franz, Andreas Gal, Christian W. Probst:
Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. Software Engineering 2007: 83-94 - 2006
- [c27]Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz:
OSEK/VDX API for Java. PLOS 2006: 4 - [c26]Efe Yardimci, Michael Franz:
Dynamic parallelization and mapping of binary executables on hierarchical platforms. Conf. Computing Frontiers 2006: 127-138 - [c25]Andreas Gal, Christian W. Probst, Michael Franz:
HotpathVM: an effective JIT compiler for resource-constrained devices. VEE 2006: 144-153 - 2005
- [j19]Vasanth Venkatachalam, Michael Franz:
Power reduction techniques for microprocessor systems. ACM Comput. Surv. 37(3): 195-237 (2005) - [j18]Peter H. Fröhlich, Andreas Gal, Michael Franz:
Supporting software composition at the programming language level. Sci. Comput. Program. 56(1-2): 41-57 (2005) - [j17]Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang:
A portable virtual machine target for proof-carrying code. Sci. Comput. Program. 57(3): 275-294 (2005) - [c24]Vivek Haldar, Deepak Chandra, Michael Franz:
Dynamic Taint Propagation for Java. ACSAC 2005: 303-311 - [c23]Christian W. Probst, Andreas Gal, Michael Franz:
Average case vs. worst case: margins of safety in system design. NSPW 2005: 25-32 - [c22]Andreas Gal, Christian W. Probst, Michael Franz:
Integrated Java Bytecode Verification. AIOOL@VMCAI 2005: 27-38 - [c21]Andreas Gal, Christian W. Probst, Michael Franz:
Structural Encoding of Static Single Assignment Form. COCV@ETAPS 2005: 85-102 - [c20]Wolfram Amme, Jeffery von Ronne, Michael Franz:
Quantifying the Benefits of SSA-Based Mobile Code. COCV@ETAPS 2005: 103-119 - [i2]Vasanth Venkatachalam, Christian W. Probst, Michael Franz:
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems 2005 - 2004
- [c19]Matthew Q. Beers, Christian H. Stork, Michael Franz:
Efficiently Verifiable Escape Analysis. ECOOP 2004: 75-95 - [c18]Jeffery von Ronne, Ning Wang, Michael Franz:
Interpreting programs in static single assignment form. IVME 2004: 23-30 - [c17]Vivek Haldar, Deepak Chandra, Michael Franz:
Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing. Virtual Machine Research and Technology Symposium 2004: 29-41 - [c16]Vivek Haldar, Michael Franz:
Symmetric behavior-based trust: a new paradigm for internet computing. NSPW 2004: 79-84 - [e1]Michael Franz, Etienne M. Gagnon:
Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2004, Washington, D.C., USA, June 7, 2004. ACM 2004, ISBN 978-1-58113-909-9 [contents] - 2003
- [j16]Wolfram Amme, Michael Franz:
Effiziente Codegenerierung für mobilen Code. Inform. Spektrum 26(4): 237-246 (2003) - [j15]Thomas Kistler, Michael Franz:
Continuous program optimization: A case study. ACM Trans. Program. Lang. Syst. 25(4): 500-548 (2003) - [c15]Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang:
A portable Virtual Machine target for Proof-Carrying Code. IVME 2003: 24-31 - [c14]Michael Franz:
Safe Code - It's Not Just for Applets Anymore. JMLC 2003: 12-22 - [c13]Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution. COCV@ETAPS 2003: 362-376 - 2002
- [c12]Vivek Haldar, Christian H. Stork, Michael Franz:
The source is the proof. NSPW 2002: 69-73 - [c11]Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz:
Efficient online optimization by utilizing offline analysis and the safeTSA representation. PPPJ/IRE 2002: 181-186 - [c10]Vivek Haldar, Michael Franz:
Towards trusted systems from the ground up. ACM SIGOPS European Workshop 2002: 251-254 - 2001
- [j14]Thomas Kistler, Michael Franz:
Continuous Program Optimization: Design and Evaluation. IEEE Trans. Computers 50(6): 549-566 (2001) - [c9]Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne:
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. PLDI 2001: 137-147 - [c8]Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz:
Towards Language-Agnostic Mobile Code. BABEL 2001: 142-157 - 2000
- [j13]Thomas Kistler, Michael Franz:
Automated data-member layout of help objects to improve memory-hierarchy performance. ACM Trans. Program. Lang. Syst. 22(3): 490-505 (2000) - [c7]Michael Franz:
Oberon - The Overlooked Jewel. The School of Niklaus Wirth 2000: 41-54 - [c6]Peter H. Fröhlich, Michael Franz:
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages. JMLC 2000: 90-103
1990 – 1999
- 1999
- [j12]Thomas Kistler, Michael Franz:
A Tree-Based Alternative to Java Byte-Codes. Int. J. Parallel Program. 27(1): 21-33 (1999) - [c5]Michael Franz, Peter H. Fröhlich, Thomas Kistler:
Towards language support for component-oriented real-time programming. WORDS (Fall) 1999: 125-129 - [i1]Thomas Kistler, Michael Franz:
Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service. CoRR cs.OS/9903014 (1999) - 1998
- [j11]Michael Franz:
Java - Anmerkungen eines Wirth-Schülers. Inform. Spektrum 21(1): 23-26 (1998) - [j10]Michael Franz:
Open Standards Beyond Java: On the Future of Mobile Code for the Internet. J. Univers. Comput. Sci. 4(5): 522-533 (1998) - [j9]Michael Franz:
The Java Virtual Machine: A Passing Fad? IEEE Softw. 15(6): 26-29 (1998) - 1997
- [j8]Michael Franz, Thomas Kistler:
Slim Binaries. Commun. ACM 40(12): 87-94 (1997) - [j7]Michael Franz:
Dynamic Linking of Software Components. Computer 30(3): 74-81 (1997) - [j6]Michael Franz:
The Programming Language Lagoona - A Fresh Look at Object-Orientation. Softw. Concepts Tools 18(1): 14-26 (1997) - [c4]Michael Franz:
Run-Time Code Generation as a Central System Service. Workshop on Hot Topics in Operating Systems 1997: 112-117 - [c3]Michael Franz:
Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web. WebNet 1997 - 1996
- [c2]Michael Franz:
Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems. Mobile Object Systems 1996: 263-276 - 1995
- [j5]Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ:
The Oberon System Family. Softw. Pract. Exp. 25(12): 1331-1366 (1995) - [j4]Michael Franz:
Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. Softw. Concepts Tools 16(2): 86-94 (1995) - 1994
- [c1]Michael Franz:
Technological Steps toward a Software Component Industry. Programming Languages and System Architectures 1994: 259-281 - 1993
- [j3]Michael Franz:
Emulating an Operating System on Top of Another. Softw. Pract. Exp. 23(6): 677-692 (1993) - [j2]Michael Franz:
The Case for Universal Symbol Files. Struct. Program. 14(3): 136-147 (1993) - 1991
- [j1]Michael Franz:
The rewards of generating true 32-bit code. ACM SIGPLAN Notices 26(1): 121-123 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-02 23:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
