Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques

doi:https://doi.org/10.1007/978-3-662-46666-7_15

Book Chapter10.1007/978-3-662-46666-7_15

Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques

Vincent Cheval,Véronique Cortier-2015-01-01-Lecture notes in computer science

13

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceDecidabilityEquivalence (formal languages)SecrecyCryptographic protocolTRACE (psycholinguistics)Theoretical computer scienceProcess calculus

Chat

Click to start Chat