Adrián Ranea

Results 2 repositories owned by Adrián Ranea

ArxPy

29
Stars
11
Forks
Watchers

Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.

CASCADA

27
Stars
8
Forks
Watchers

A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.