The following pages link to Vincent Cheval (Q391118):
Displayed 8 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557) (← links)
- The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols (Q2037996) (← links)
- On Communication Models When Verifying Equivalence Properties (Q3304813) (← links)
- (Q5275398) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
- Proving More Observational Equivalences with ProVerif (Q5326762) (← links)
- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (Q5747780) (← links)