About us
cryptosolutions offers more than 25 years of award-winning cryptographic design and analysis experience. We support you with tailor-made cryptographic schemes or scrutinize existing algorithms.
Alternatively, we provide world-class expert trainings on cryptographic and security relevant topics, such as our “Advanced Cryptography Training - Symmetric Cryptanalysis”, or “Advanced Hacking Training - Penetration Testing”.
Contact us to discuss your ideas and needs.
Projects
CiVerLy
CiVerLy, the Cipher Verification Library, helps you analyze primitives from symmetric cryptography by utilizing mixed-integer linear programming (MILP) and satisfiability (SAT) models. We developed CiVerLy on behalf of the German Federal Office for Information Security (BSI) and now continue the development as an open source project on GitHub.
SCA4PQC – LEAP-CSP
Quantum computers are on the horizon. Deploying secure implementations of post-quantum cryptography is therefore of paramount importance. In our project LEAP-CSP, we are developing an AI-assisted framework to design and test novel countermeasures automatically. The project is commissioned by the Cyberagentur and part of their SCA4PQC program. To learn more, check out the project website.
BOMBE
How far can AI go? Can it break cryptography? We want to find an evidence-based answer to this question in the BOMBE project which stands for Benchmark Of Model-Based Breaking of Encryption. You can help by contributing exam-style questions. Learn more at the project website.
Contact
PGP Public Key
-----BEGIN PGP PUBLIC KEY BLOCK-----
xjMEYMOw+xYJKwYBBAHaRw8BAQdASNmBX+snKW6OX4ioQwEzUfrWwHorqjQFYHV7
Y+intW3NLGNyeXB0b3NvbHV0aW9ucyA8Y29udGFjdEBjcnlwdG9zb2x1dGlvbnMu
ZGU+wosEExYIADMWIQR4GieCN8QM1RzhzVobr3Eg5d850AUCYMOw+wIbAwULCQgH
AgYVCAkKCwIFFgIDAQAACgkQG69xIOXfOdBoywD5AeUowPAZ27sU/+7D2k3M+6ar
/cnbTyFGcY/Pb7KRMnsA/15BWboVBry/kbvNEZruh5hIxI1SKxci5srS6ZrjL7cF
zjgEYMOw+xIKKwYBBAGXVQEFAQEHQFoF9zbyj7bDo4a8Nt8u63vcxhCHO3rhtlgQ
144hFjQ6AwEIB8J4BBgWCAAgFiEEeBongjfEDNUc4c1aG69xIOXfOdAFAmDDsPsC
GwwACgkQG69xIOXfOdCa1QEAw16wsgoAjDSDc+bEs+EnaPfcpE5pZf8/iZK0tJ2r
0rkBAO4lsI4c+9oPHAXq2n0OlzkrajhwUX4XND0SDJp6zbwI
=rD2Y
-----END PGP PUBLIC KEY BLOCK-----