About
TeX source and slides for my senior thesis on verifying HMAC-DRBG.
Languages
Language:Coq 42.3%Language:OCaml 32.4%Language:C 22.1%Language:TeX 1.9%Language:Assembly 0.7%Language:Standard ML 0.2%Language:Makefile 0.1%Language:HTML 0.1%Language:C++ 0.1%Language:Objective-C 0.0%Language:Emacs Lisp 0.0%Language:CSS 0.0%Language:Shell 0.0%Language:JavaScript 0.0%Language:Perl 0.0%