Back to Results
First PageMeta Content
Function / XTR / Computability theory / Model theory / Μ operator / Primitive recursive function / Mathematics / Mathematical logic / Functions and mappings


Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3
Add to Reading List

Document Date: 2013-06-17 13:32:36

Open Document

File Size: 315,03 KB

Share Result on Facebook
UPDATE