Details
Title
Wagner, Jonas
Sciper ID
169983
Affiliated labs
DSLAB
Publications
-Overify: Optimizing Programs for Fast Verification
Elastic Program Transformations
High System-Code Security with Low Overhead
Elastic Program Transformations
High System-Code Security with Low Overhead
Link to search
All resources
Record appears in
Authorities > People