Jonas Wagner
Jonas Wagner
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
High system-code security with low overhead
J Wagner, V Kuznetsov, G Candea, J Kinder
2015 IEEE Symposium on Security and Privacy, 866-879, 2015
442015
-overify: Optimizing programs for fast verification
J Wagner, V Kuznetsov, G Candea
14th Workshop on Hot Topics in Operating Systems (HotOS XIV), 2013
272013
Elastic Program Transformations: Automatically Optimizing the Reliability/Performance Trade-off in Systems Software
J Wagner
EPFL, 2017
22017
13th USENIX Symposium on Operating Systems Design and Implementation
S IX
2016
The system can't perform the operation now. Try again later.
Articles 1–4