×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of yannick-chevalier
Habilitation draft
1.276 views
Yannick Chevalier - Habilitation (final)
285 views
Deciding the Security of Protocols with Commuting Public Key Encryption
213 views
Rule-based Programs Describing Internet Security Protocols
213 views
An NP decision procedure for protocol insecurity with XOR
213 views
Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
213 views
Hierarchical combination of intruder theories
213 views