Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Cheval, Vincent and Cortier, VĂ©ronique (2015) Timing attacks: symbolic framework and proof techniques. In: Focardi, Riccardo and Myers, Andrew, eds. Lecture Notes in Computer Science. Principles of Security and Trust. Springer Berlin Heidelberg, London, UK pp. 280-299. ISBN 978-3-662-46665-0. E-ISBN 978-3-662-46666-7. (doi:https://doi.org/10.1007/978-3-662-46666-7_15) (Full text available) |