Följ
Jonas Wagner
Jonas Wagner
EPFL
Verifierad e-postadress på alumni.epfl.ch - Startsida
Titel
Citeras av
Citeras av
År
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
722015
{-OVERIFY}: Optimizing Programs for Fast {Verification}
J Wagner, V Kuznetsov, G Candea
14th Workshop on Hot Topics in Operating Systems (HotOS XIV), 2013
372013
Elastic Program Transformations: Automatically Optimizing the Reliability/Performance Trade-off in Systems Software
J Wagner
EPFL, 2017
92017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3