Rudolf Ramler

Software Competence Center Hagenberg, Hagenberg im Mühlkreis, Austria

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Red-Teaming & Adversarial Robustness (1)

Frequent co-authors

Daniel Dorfmeister (1)Flavio Ferrarotti (1)Bernhard Fischer (1)Evelyn Nicole Haslinger (1)

Papers (1)

Mar 11, 2026

Software Competence Center Hagenberg5d ago·also Symflower GmbH

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

Guaranteeing safety properties of copy-protected industrial software, even when executed on unintended hardware, becomes possible with a novel PUF-based binding and symbolic execution verification.

Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer +3

Code Generation & Program Synthesis Red-Teaming & Adversarial Robustness

Search

Rudolf Ramler

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)