Biblio

Export 2 results:
Filters: Author is Gilles Barthe  [Clear All Filters]
2023
Zhang Z, Barthe G, Chuengsatiansup C, Schwabe P, Yarom Y.  2023.  Ultimate SLH: Taking Speculative Load Hardening to the Next Level. 32nd USENIX Security Symposium (USENIX Security 23). :7125--7142.
2016
Almeida JBacelar, Barbosa M, Barthe G, Dupressoir F, Emmi M.  2016.  Verifying Constant-Time Implementations. 25th USENIX Security Symposium (USENIX Security 16). :53--70.