Article,
Verified Correctness and Security of mbedTLS HMAC-DRBG.
K. Ye, M. Green, N. Sanguansin, L. Beringer, A. Petcher, and A. Appel.CoRR, (2017)
Meta data
- BibTeX key
- journals/corr/abs-1708-08542
- entry type
- article
- year
- 2017
- journal
- CoRR
- volume
- abs/1708.08542
- ee
- http://arxiv.org/abs/1708.08542
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-08542
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-1708-08542
%A Ye, Katherine Q.
%A Green, Matthew
%A Sanguansin, Naphat
%A Beringer, Lennart
%A Petcher, Adam
%A Appel, Andrew W.
%D 2017
%J CoRR
%K
%T Verified Correctness and Security of mbedTLS HMAC-DRBG.
%U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-08542
%V abs/1708.08542
@article{journals/corr/abs-1708-08542,
added-at = {2023-12-13T03:57:25.000+0100},
author = {Ye, Katherine Q. and Green, Matthew and Sanguansin, Naphat and Beringer, Lennart and Petcher, Adam and Appel, Andrew W.},
biburl = {https://www.bibsonomy.org/bibtex/2429acd2820f2fbf31f737ce2cc46eb08/admin},
ee = {http://arxiv.org/abs/1708.08542},
interhash = {907a012589f1fe3492f2c4de7a32e122},
intrahash = {429acd2820f2fbf31f737ce2cc46eb08},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-13T03:57:25.000+0100},
title = {Verified Correctness and Security of mbedTLS HMAC-DRBG.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-08542},
volume = {abs/1708.08542},
year = 2017
}