Published April 29, 2022
| Version v1.0.0
Software
Open
ranea/CASCADA: CASCADA 1.0
Description
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
Files
ranea/CASCADA-v1.0.0.zip
Files
(348.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5cc6bed3cd188f5d8232d0862d2bbf2d
|
348.1 kB | Preview Download |
Additional details
Related works
- Is published in
- Preprint: https://eprint.iacr.org/2022/513 (URL)
- Is supplement to
- https://github.com/ranea/CASCADA/tree/v1.0.0 (URL)