Issues
- 0
Easy interfaces for bignum and EC
#14 opened by senier - 0
Incremental mode for HMAC/Hash
#17 opened by senier - 0
Proof absence-of-runtime errors
#13 opened by senier - 0
Missing pragma Pure
#27 opened by jklmnn - 0
Ensure stack-boundedness can be checked
#16 opened by senier - 0
Generic interface for byte buffer
#21 opened by senier - 0
Reimplement AES CBC for easy interface
#19 opened by senier - 0
Separate key generation for AES
#15 opened by senier - 2
Make library pure
#8 opened by senier - 6
Introduce "easy" interface
#11 opened by senier - 1
Fix timing issues
#6 opened by senier - 0
Fix RSA tests
#5 opened by senier - 0
Port tests to AUnit
#9 opened by senier - 0
- 1
Fix test suite
#3 opened by senier