Flavio Ferrarotti, Peter Riviere, Klaus-Dieter Schewe, Neeraj Kumar Singh, and Yamine Ait Ameur. “A Complete Fragment of LTL(EB)”. To appear in: 13th International Symposium on Foundations of Information and Knowledge Systems (FolKS 2024)Apr. 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”. To appear in: Software Quality Days (SWQD 2024). Apr. 2024.
Hannes Sochor, Flavio Ferrarotti, and Daniela Kaufmann. “Fuzzing-based grammar learning from a minimal set of seed inputs”. In: Journal of Computer Languages 78 (Mar. 2024). issn: 2590-1184. doi: 10.1016/j.cola.2023.101252.
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: 2023 International Conference on Electrical, Computer and Energy Technologies (ICECET). Nov. 2023. doi: 10.1109/ICECET58911.2023.10389242.
Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Haslinger, Rudolf Ramler, and Markus Zimmermann. “An Approach for Safe and Secure Software Protection Supported by Symbolic Execution”. In: Database and Expert Systems Applications - DEXA 2023 Workshops. Cham, Aug. 2023. isbn: 978-3-031-39689-2. doi: 10.1007/978-3-031-39689-2˙7.
Janosch Thiele. “Implementation of a Tool to Automatically Create Rowhammer Fingerprints”. Master’s thesis. Neubiberg: University of the Bundeswehr Munich, July 2023.
Bernhard Fischer. “Design of a Rowhammer-Based Unique Hardware Identification Mechanism”. Master’s thesis. Hagenberg: University of Applied Sciences Upper Austria, May 2023.
Flavio Ferrarotti and Klaus-Dieter Schewe. “Behavioural Theory of Reflective Algorithms”. In: Rigorous State-Based Methods. Ed. by Uwe Glässer, Jose Creissac Campos, Dominique Méry, and Philippe Palanque. Cham: Springer Nature Switzerland, May 2023. isbn: 978-3-031-33163-3. doi: 10.1007/978-3-031-33163-3˙18.
Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, and Klaus-Dieter Schewe. “Exploration of Reflective ASMs for Security”. In: Rigorous State-Based Methods. Ed. by Uwe Glässer, Jose Creissac Campos, Dominique Méry, and Philippe Palanque. Cham: Springer Nature Switzerland, May 2023. isbn: 978-3-031-33163-3. doi: 10.1007/978-3-031-33163-3˙14.
Felix Berlakovich and Stefan Brunthaler. “R2C: AOCR-Resilient Diversity with Reactive and Reflective Camouflage”. In: Proceedings of the Eighteenth European Conference on Computer Systems. EuroSys ’23. Rome, Italy: Association for Computing Machinery, May 2023. isbn: 9781450394871. doi: 10.1145/3552326.3587439.
Hannes Sochor, Flavio Ferrarotti, and Daniela Kaufmann. “Fuzzing-Based Grammar Inference”. In: Model and Data Engineering. Ed. by Philippe Fournier-Viger, Ahmed Hassan, and Ladjel Bellatreche. Cham: Springer Nature Switzerland, Nov. 2022. isbn: 978-3-031-21595-7. doi: 10.1007/978-3-031-21595-7˙6.
Hannes Sochor and Flavio Ferrarotti. “A Refinement Based Algorithm for Learning Program Input Grammars”. In: From Data to Models and Back. Ed. by Juliana Bowles, Giovanna Broccia, and Roberto Pellungrini. Cham: Springer International Publishing, Oct. 2022. isbn: 978-3-031-16011-0. doi: 10.1007/978-3-031-16011-0˙10.
Michael Wurzer. “DRAMA in Embedded Systems - Determining the Address Mapping Function”. Master’s thesis. Hagenberg: University of Applied Sciences Upper Austria, Sept. 2022.
Daniela Kaufmann and Armin Biere. “Fuzzing and Delta Debugging And-Inverter Graph Verification Tools”. In: Tests and Proofs. Ed. by Laura Kovács and Karl Meinke. Cham: Springer International Publishing, June 2022. isbn: 978-3-031-09827-7. doi: 10.1007/978-3-031-09827-7˙5.
Lucas Drack. “SRAM based Physical Unclonable Functions for Low-Cost Embedded Systems”. Master’s thesis. Hagenberg: University of Applied Sciences Upper Austria, May 2022.
Bernhard Fischer. “Auswirkungen von DRAM-Timings auf die Effektivität von Rowhammer-Attacken”. Bachelor’s thesis. Hagenberg: University of Applied Sciences Upper Austria, May 2021.
Manuel Wiesinger, Daniel Dorfmeister, and Stefan Brunthaler. “MAD: Memory Allocation meets Software Diversity”. In: First DRAMSec Workshop (DRAMSec 2021). June 2021. url: https://dramsec.ethz.ch/papers/mad.pdf.
Thomas Ziebermayr. “Protecting Intellectual Property Rights of Industrial Software”. In: Procedia Computer Science 180 (2021). Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020). issn: 1877-0509. doi: 10.1016/j.procs.2021.01.336.