


default search action
Michael 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,