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