Delaune, Stéphanie
- Partial Order Reduction for Security Protocols
2015/04/18 by David Baelde, Baelde, David, Stéphanie Delaune +3 · 1 citation
Computer Science · #Advanced Authentication Protocols Security #Cryptography and Data Security #Digital Rights Management and Security #cs.CR #cs.LO