Pinned Repositories
bee2
A cryptographic library
CASCADA
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
GF2
A C++ library for algebra over GF(2)
whereami
Locate the current running executable and the current running module/library on the file system 🔎
xs
XS-circuits in block ciphers
bee2
bee2evp
An OpenSSL engine
stb
Cryptography Standards of Belarus
whereami
Locate the current running executable and the current running module/library on the file system 🔎
CASCADA
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
agievich's Repositories
agievich/bee2
A cryptographic library
agievich/GF2
A C++ library for algebra over GF(2)
agievich/xs
XS-circuits in block ciphers
agievich/CASCADA
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
agievich/whereami
Locate the current running executable and the current running module/library on the file system 🔎