Gregor Pintar's repositories
SpeakerSim
Speaker simulation software.
crypto-tools
Tools for designing cryptographic algorithms.
CASCADA
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
Language:PythonMIT000