aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | Add switch-signvojtechsu2023-12-051-0/+128
| * | | | | Add fliparoosvojtechsu2023-12-054-0/+704
|/ / / / /
* | | | | Add Window multiplier with Booth recoding.J08nY2023-12-017-153/+543
* | | | | Document multiple context attrs.J08nY2023-11-292-1/+4
| * | | | renamed files and target classAndrej Bátora2023-11-271-3/+3
|/ / / /
| * / / Added tracking and plotting correlations in CPAAndrej Bátora2023-12-141-0/+7
|/ / /
* | | Make RPA-RE work based on the inputs.J08nY2023-11-272-8/+49
* | | Log scalarmult names in RPA tree.J08nY2023-11-271-1/+1
* | | Add Botan x25519 ladder (from curve25519_donna).J08nY2023-11-244-4/+41
* | | Fixup some issues in library analysis.J08nY2023-11-211-19/+19
* | | Fix minor issues in library analysis.J08nY2023-11-201-3/+7
* | | Bump notebook.J08nY2023-11-181-0/+0
* | | Add assumption to ladders that do not contain Z1.J08nY2023-11-185-0/+5
* | | Update BoringSSL and IPP.J08nY2023-11-178-4/+64
* | | Add description of the source code analysis process.J08nY2023-11-161-0/+9
* | | Add formulas from GECC.J08nY2023-11-166-12/+61
* | | Add more formulas to lib db.J08nY2023-11-1612-112/+175
* | | Speedup tests by using faster formulas.J08nY2023-11-161-20/+20
* | | Add to_model randomized mapping.J08nY2023-11-168-31/+91
* | | Ditch lib formula tests that are not tests.J08nY2023-11-153-69/+5
* | | Bump notebook repo.J08nY2023-11-151-0/+0
* | | Merge pull request #54 from J08nY/feat/formula-matchingJán Jančár2023-11-1547-6/+1121
|\ \ \
| * | | Add SunEC.J08nY2023-11-1514-2/+241
| * | | Add NSS.J08nY2023-11-145-8/+129
| * | | Add OpenSSL.J08nY2023-11-109-5/+209
| * | | Add secp256k1 formulas.J08nY2023-11-108-6/+95
| * | | Add BoringSSL P224 formulas.J08nY2023-11-106-11/+72
| * | | Add more formulas from BouncyCastle.J08nY2023-11-1014-19/+293
| * | | Add formula similarity metric.J08nY2023-11-105-0/+127
|/ / /
* | | Add Go docsvojtechsu2023-11-091-0/+92
* | | Add mbedTLS.J08nY2023-11-091-0/+61
* | | Add Nettle to libs.J08nY2023-11-082-24/+86
* | | Fix assumption eval.J08nY2023-11-073-2/+9
* | | add libsecp256k1 docsvojtechsu2023-11-071-0/+83
* | | Add libgcrypt docsvojtechsu2023-11-061-0/+84
* | | Add BearSSL docs.J08nY2023-11-061-1/+125
* | | Add libtomcryptvojtechsu2023-11-061-0/+38
* | | Add LibreSSL.J08nY2023-11-021-42/+69
* | | Add IPP crypto.J08nY2023-11-021-0/+155
* | | Add micro-ecc.J08nY2023-11-021-5/+51
* | | Fixup SymCrypt links.J08nY2023-11-021-33/+38
* | | Fix layout in library docs.J08nY2023-11-021-1/+3
* | | Add fastecdsavojtechsu2023-11-011-1/+29
* | | Add SymCryptvojtechsu2023-11-011-0/+68
* | | Fix missing samples copy.J08nY2023-10-261-1/+1
* | | Fix codestyle.J08nY2023-10-262-2/+4
* | | Fix mypy.J08nY2023-10-261-1/+1
* | | Make RPA-RE precompute the distinguishing tree.J08nY2023-10-263-53/+105
* | | Add Botan.J08nY2023-10-251-0/+60
* | | Fix doc issues.J08nY2023-10-251-56/+56