Bucur, Stefan; Kinder, Johannes; Candea, George: Prototyping Symbolic Execution Engines for Interpreted Languages , New York, NY , ACM . In: ASPLOS '14 Proceedings of the 19th international conference on Architectural support for programming languages and operating systems ,  2014 . - S. 239-254 
Konferenzbeitrag / Conference Paper

Godefroid, Patrice; Kinder, Johannes: Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis  2009 
Technischer Report / Technical Report

Godefroid, Patrice; Kinder, Johannes: Proving memory safety of floating-point computations by combining static and dynamic program analysis , New York, NY , ACM . In: ISSTA '10 Proceedings of the 19th international symposium on Software testing and analysis ,  2010 . - S. 1-12 
Konferenzbeitrag / Conference Paper

Brunthaler, Stefan: Purely Interpretative Optimizations , Wien  2011 
Monografie / Monograph

Berlakovich, Felix; Brunthaler, Stefan: R$^2$C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage , New York, NY , Association for Computing Machinery . In: EuroSys '23: Eighteenth European Conference on Computer Systems,  2023 . - S. 488–504 
Konferenzbeitrag / Conference Paper

Brunthaler, Stefan: R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage  2023 . Vortrag bei IFIP WG2.4 Meeting #67. York Harbor, Maine, USA, April 23-27, 2023 
Vortrag / Presentation

Berlakovich, Felix; Brunthaler, Stefan: R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage  2023 . Vortrag bei 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung 
Vortrag / Presentation

Berlakovich, Felix; Brunthaler, Stefan: R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage . In: 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung,  2023 
Konferenzbeitrag / Conference Paper

Brunthaler, Stefan: R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage  2023 . Vortrag bei EuroSys'23: Eighteenth European Conference on Computer Systems 
Vortrag / Presentation

Crane, Stephen; Liebchen, Christopher; Homescu, Andrei; Davi, Lucas; Larsen, Per; Sadeghi, Ahmad-Reza; Brunthaler, Stefan; Franz, Michael: Readactor: Practical Code Randomization Resilient to Memory Disclosure , Piscataway, NJ , IEEE . In: 2015 IEEE Symposium on Security and Privacy,  2015 . - S. 763-780 
Konferenzbeitrag / Conference Paper