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