Jackson, Todd; Salamat, Babak; Homescu, Andrei; Manivannan, Karthikeyan; Wagner, Gregor; Gal, Andreas; Brunthaler, Stefan; Wimmer, Christian; Franz, Michael: Compiler-Generated Software Diversity , New York, NY, USA , Springer . In: Moving Target Defense,  2011 . - S. 77-98 
Sammelbandbeitrag / Paper in Collective Volume

Burow, Nathan; Carr, Scott A.; Nash, Joseph; Larsen, Per; Franz, Michael; Brunthaler, Stefan; Payer, Mathias: Control-Flow Integrity . In: ACM Computing Surveys,  50.  2017 , 1 . - S. 1-33 
Zeitschriftenartikel / Journal Article

Berlakovich, Felix; Brunthaler, Stefan: Cross Module Quickening - The Curious Case of C Extensions , Schloss Dagstuhl - Leibniz-Zentrum für Informatik . In: ECOOP '24: 38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-18, 2024, Vienna, Austria,  2024 
Konferenzbeitrag / Conference Paper

Kerschbaumer, Christoph; Hennigan, Eric; Larsen, Per; Brunthaler, Stefan; Franz, Michael: CrowdFlow: Efficient Information Flow Security . In: ISC 2013: Proceedings of the 16th International Conference on Information Security,  2013 . - S. 321–337 
Konferenzbeitrag / Conference Paper

Mundt, Michael; Baier, Harald: Cyber Crime undermines Data Privacy efforts - On the Balance between Data Privacy and Security , Cham , Springer . In: Digital Forensics and Cyber Crime,  2023 . - S. 417–434 
Konferenzbeitrag / Conference Paper

Dorfmeister, Daniel; Brunthaler, Stefan: DEPS: Leveraging Hardware Faults for Binding Software to Hardware  2023 . Vortrag bei 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung 
Vortrag / Presentation

Mechelinck, Ruben; Dorfmeister, Daniel; Fischer, Bernhard; Volckaert, Stijn; Brunthaler, Stefan: DEPS: Leveraging Hardware Faults for Binding Software to Hardware . In: 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung,  2023 . - S. 8 
Konferenzbeitrag / Conference Paper

Ponce-de-León, Hernán; Furbach, Florian; Heljanko, Keijo; Meyer, Roland: Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) , Cham, Switzerland , Springer . In: Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020,  2020 . - S. 378-382 
Konferenzbeitrag / Conference Paper

Ponce de León, Hernán; Hass, Thomas; Meyer, Roland: Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) , Cham , Springer . In: Tools and Algorithms for the Construction and Analysis of Systems,  2021 . - S. 428-432 
Konferenzbeitrag / Conference Paper

León, Hernán Ponce de; Haas, Thomas; Meyer, Roland: Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) , Cham , Springer . In: Tools and Algorithms for the Construction and Analysis of Systems,  2022 . - S. 418-423 
Konferenzbeitrag / Conference Paper