[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - Verified Correctness and Security of mbedTLS HMAC-DRBG
Ye, Katherine Q., Green, Matthew, Sanguansin, Naphat, Beringer, Lennart, Petcher, Adam, Appel, Andrew W.Year:
2017
Language:
english
DOI:
10.1145/3133956.3133974
File:
PDF, 1.17 MB
english, 2017