Publications

2026

Du Nguyen Duy, Bernhard Fischer, Vittorio Solina, and Michael Affenzeller. “A Privacy-Preserving Approach for Collaborative Optimization Across Company Borders”. In: IET Collaborative Intelligent Manufacturing (to appear in 2026).

Klaus-Dieter Schewe and Flavio Ferrarotti. “Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms”. In: Science of Computer Programming (to appear in 2026).

Flavio Ferrarotti, Vincenzo Gervasi, Alexander Raschke, and Klaus-Dieter Schewe. “The Abstract State Machines Method”. In: ACM Formal Aspects of Computing (Special Issue on History of FM) (to appear in 2026).

Klaus-Dieter Schewe and Flavio Ferrarotti. “Non-Deterministic Algorithms – Capture By Abstract State Machines”. In: Festschrift on the occasion of Egon Börger’s 80th birthday. To appear in 2026.

Ruben Mechelinck and Stijn Volckaert. “BROL: Cache-Only Execution for Software Protection”. In: Proceeding of the 2nd Microarchitecture Security Conference (uASC ’26). Feb. 2026.

Zhezhong Ren, Han Zheng, Zhiyao Feng, Qinying Wang, Marcel Busch, Yuqing Zhang, Chao Zhang, and Mathias Payer. “SYSYPHUZZ: the Pressure of More Coverage”. In: Network and Distributed System Security Symposium (NDSS’26). Feb. 2026.

2025

Vasil Sarafov, David Markvica, and Stefan Brunthaler. “TEPHRA: Principled Discovery of Fuzzer Limitations”. In: 40th IEEE/ACM International Conference on Automated Software Engineering (ASE ‘25). Nov. 2025. eprint: https://ucsrl.de/publications/ase25-tephra.pdf.

Vasil Sarafov, David Markvica, Felix Berlakovich, Matthias Bernad, and Stefan Brunthaler. “Understanding and Improving Coverage Tracking with AFL++ (Registered Report)”. In: Proceedings of the 3rd ACM International Fuzzing Workshop. 2024. eprint: https://ucsrl.de/publications/fuzzing24.pdf.

Hannes Sochor. “Fuzzing-based Grammar Inference for Context-free Languages”. PhD thesis. Johannes Kepler University Linz, Aug. 2025.

Andreas Preisinger. “Sicherheit für Neuronale Netze durch Hardwarebindung”. Bachelor’s thesis. University of Applied Sciences Upper Austria, May 2025.

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

Han Zheng, Flavio Toffalini, Marcel Böhme, and Mathias Payer. “MendelFuzz: The Return of the Deterministic Stage”. In: Proc. ACM Softw. Eng. 2.FSE (June 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. arXiv: 2603.11727.

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. eprint: https://ucsrl.de/publications/ecoop24-cmq.pdf.

Matthias Bernad and Stefan Brunthaler. “HOBBIT: Hashed OBject Based InTegrity”. In: ECOOP. Vol. 313. Sept. 2024. eprint: https://ucsrl.de/publications/hobbit-ecoop24-preprint.pdf.

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. eprint: https://ucsrl.de/publications/gluezilla.pdf.

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. arXiv: 2603.10753. 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. eprint: https://ucsrl.de/publications/r2c-eurosys23.pdf.

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. arXiv: 2603.10608.

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. arXiv: 2603.10840.

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