Creators
Date of Archiving
2021Archive
A Panorama on Classical Cryptography - Files
Related publications
Publication type
Dataset
Access level
Open access
Display more detailsDisplay less details
Organization
Digital Security
Audience(s)
Computer science
Key words
Cryptanalysis; Verification; Coq; Formal Methods; ImplementationsAbstract
Associated software that comes with my PhD thesis.
This item appears in the following Collection(s)
- Datasets [1912]
- Faculty of Science [38028]