Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk.
Cédric FournetPublished in: PLAS@CCS (2016)
Keyphrases
- invited talk
- knowledge discovery and data mining
- selected papers
- carefully reviewed and selected from submissions
- artificial intelligence
- security requirements
- program committee
- genetic algorithm
- expert systems
- security analysis
- information technology
- encryption scheme
- security mechanisms
- key management
- security protocols