Biblio

Export 1 results:
Filters: Author is Rami Gökhan Kıcı  [Clear All Filters]
2019
Gleissenthall Kv., Kıcı RGökhan, Stefan D, Jhala R.  2019.  IODINE: Verifying Constant-Time Execution of Hardware. 28th USENIX Security Symposium (USENIX Security 19). :1411--1428.