Verified Cryptographic Implementations for TLS.

Subjects

Subjects :

CRYPTOGRAPHY
COMPUTER network protocols
MATHEMATICAL models
COMPUTER security
MATHEMATICAL combinations
SOFTWARE engineering

Details

Language :

English

ISSN :

10949224

Volume :

15

Issue :

1

Database :

Complementary Index

Journal :

ACM Transactions on Information & System Security (TISSEC)

Publication Type :

Academic Journal

Accession number :

74619216

Full Text :

https://doi.org/10.1145/2133375.2133378