Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.
Cas CremersMarko HorvatSam ScottThyla van der MerwePublished in: IEEE Symposium on Security and Privacy (2016)
Keyphrases
- automated analysis
- integrity verification
- multimodal biometrics
- automated detection
- visual analysis
- biomedical imaging
- signature verification
- high security
- model checking
- security analysis
- cell nuclei
- video analysis
- parameter estimation
- user authentication
- image authentication
- image processing
- biometric systems
- image database
- databases