Search History

Scholar Research Paper Search Library

Chats

Verifying Constant-Time Implementations

J. Almeida,M. Barbosa,2 Authors,M. Emmi

2016 · DBLP: conf/uss/AlmeidaBBDE16

USENIX Security Symposium · 274 Citations