Publications

2025

Chibin Zhang, Gwangmu Lee, Qiang Liu, and Mathias Payer. “REFLECTA: Reflection-based Scalable and Semantic Scripting Language Fuzzing”. In: AsiaCCS. 2025.

Klaus-Dieter Schewe and Flavio Ferrarotti. “Behavioural Theory of Reflective Parallel Algorithms”. In: ABZ. 2025.

Manuel Penz, Martina Zeinzinger, Michael Kargl, Florian Eibensteiner, Phillip Petz, and Josef Langer. “SRAM PUFs for Device Authentication on Resource-Constrained Systems”. In: CSP. 2025.

Bernhard Fischer, Daniel Dorfmeister, Flavio Ferrarotti, Manuel Penz, Michael Kargl, Martina Zeinzinger, and Florian Eibensteiner. “Software-Hardware Binding for Protection of Sensitive Data in Embedded Software”. In: SAC. 2025.

Bernhard Fischer, Daniel Dorfmeister, Harald Lampesberger, and Eckehard Hermann. “Leveraging Rowhammer for Physically Unique and Non-tamperable Device Identification”. In: Procedia Computer Science 253 (Feb. 2025).

2024

Hannes Sochor, Flavio Ferrarotti, and Robert Wille. “GrammarForge: Learning Program Input Grammars for Fuzz Testing”. In: SEFM. 2024.

Mathéo Vergnolle. “Defending against Reverse Engineering using Rowhammer”. Master’s thesis. Technical University of Munich, Oct. 2024.

Felix Berlakovich and Stefan Brunthaler. “Cross Module Quickening - The Curious Case of C Extensions”. In: ECOOP. Vol. 313. Sept. 2024.

Matthias Bernad and Stefan Brunthaler. “HOBBIT: Hashed OBject Based InTegrity”. In: ECOOP. Vol. 313. Sept. 2024.

Ruben Mechelinck, Daniel Dorfmeister, Bernhard Fischer, Stijn Volckaert, and Stefan Brunthaler. “GlueZilla: Efficient and Scalable Software to Hardware Binding using Rowhammer”. In: DIMVA. Vol. 14828. 2024.

Flavio Ferrarotti and Klaus-Dieter Schewe. “Modal Extensions of the Logic of Abstract State Machines”. In: ABZ. Vol. 14759. 2024.

Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, and Yamine Aït Ameur. “A Complete Fragment of LTL(EB)”. In: FoIKS. Vol. 14589. 2024.

Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Martin Schwandtner, and Hannes Sochor. “A PUF-Based Approach for Copy Protection of Intellectual Property in Neural Network Models”. In: SWQD. Vol. 505. 2024. Best Paper Award.

Hannes Sochor, Flavio Ferrarotti, and Daniela Kaufmann. “Fuzzing-based grammar learning from a minimal set of seed inputs”. In: J. Comput. Lang. 78 (2024).

2023

Felix Berlakovich and Stefan Brunthaler. “R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage”. In: EuroSys. 2023.

Martina Zeinzinger, Josef Langer, Florian Eibensteiner, Phillip Petz, Lucas Drack, Daniel Dorfmeister, and Rudolf Ramler. “Comparative Analysis of SRAM PUF Temperature Susceptibility on Embedded Systems”. In: ICECET. Nov. 2023.

Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Nicole Haslinger, Rudolf Ramler, and Markus Zimmermann. “An Approach for Safe and Secure Software Protection Supported by Symbolic Execution”. In: DEXA Workshops. Vol. 1872. 2023.

Janosch Thiele. “Implementation of a Tool to Automatically Create Rowhammer Fingerprints”. Master’s thesis. University of the Bundeswehr Munich, July 2023.

Bernhard Fischer. “Design of a Rowhammer-Based Unique Hardware Identification Mechanism”. Master’s thesis. University of Applied Sciences Upper Austria, May 2023.

Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, and Klaus-Dieter Schewe. “Exploration of Reflective ASMs for Security”. In: ABZ. Vol. 14010. 2023.

Flavio Ferrarotti and Klaus-Dieter Schewe. “Behavioural Theory of Reflective Algorithms”. In: ABZ. Vol. 14010. 2023.

2022

Hannes Sochor, Flavio Ferrarotti, and Daniela Kaufmann. “Fuzzing-Based Grammar Inference”. In: MEDI. Vol. 13761. 2022. Best Paper Award.

Hannes Sochor and Flavio Ferrarotti. “A Refinement Based Algorithm for Learning Program Input Grammars”. In: DataMod. 2022.

Michael Wurzer. “DRAMA in Embedded Systems - Determining the Address Mapping Function”. Master’s thesis. University of Applied Sciences Upper Austria, Sept. 2022.

Daniela Kaufmann and Armin Biere. “Fuzzing and Delta Debugging And-Inverter Graph Verification Tools”. In: TAP. Vol. 13361. 2022.

Lucas Drack. “SRAM based Physical Unclonable Functions for Low-Cost Embedded Systems”. Master’s thesis. University of Applied Sciences Upper Austria, May 2022.

Klaus-Dieter Schewe and Flavio Ferrarotti. “Behavioural theory of reflective algorithms I: Reflective sequential algorithms”. In: Sci. Comput. Program. 223 (2022).

2021

Bernhard Fischer. “Auswirkungen von DRAM-Timings auf die Effektivität von Rowhammer-Attacken”. Bachelor’s thesis. University of Applied Sciences Upper Austria, May 2021.

Manuel Wiesinger, Daniel Dorfmeister, and Stefan Brunthaler. “MAD: Memory Allocation meets Software Diversity”. In: DRAMSec. June 2021.

Thomas Ziebermayr. “Protecting Intellectual Property Rights of Industrial Software”. In: Procedia Computer Science 180 (2021).