Benjamin Lipp
Advanced Consultant Security Engineering at Alter Solutions Group
Bochum, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolBenjamin Lipp is an advanced consultant in security engineering and cryptography researcher with 13 years of experience bridging academic rigor and production-grade software. He holds a PhD from Inria and postdoctoral experience at the Max Planck Institute, and now contributes to Rosenpass—an open-source Rust project for hybrid post-quantum WireGuard key exchange—while consulting at Alter Solutions. Benjamin has hands-on cryptographic engineering experience, including implementing AES and Blake2 primitives in the formally verified HACL* library, which highlights his focus on correctness and high-assurance implementations. Comfortable moving between research and applied engineering, he combines deep math and physics training with practical systems work to harden real-world protocols against future quantum threats.
13 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Karlsruhe Institute of Technology (KIT)Bachelor of Science - BS, Physics, Bachelor of Science - BS, Physics at The University of GöttingenMaster of Science - MS, Applied Mathematics, Master of Science - MS, Applied Mathematics at Université de Rennes IDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Ecole normale supérieureDouble Master in Cryptography, Informatics, Double Master in Cryptography, Informatics at Université franco-allemande Deutsch-Französische Hochschule UFA DFH
English, French, German
Github Skills (7)
c1710
c1110
cryptography10
aes10
security9
formal-verification9
high-performance8
Programming languages (27)
Github contributions (5)
hacl-star/hacl-star
Mar 2018 - Jun 2022
HACL*, a formally verified cryptographic library written in F*
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 63 commits, 4 PRs in 4 years 3 months
Contributions summary:Benjamin's contributions primarily focused on implementing and refining cryptographic primitives within the HACL* library. They worked on the AES cipher implementation, including subBytes, shiftRows, mixColumns, and addRoundKey functions, along with key expansion and inverse cipher operations. Further, the user integrated Blake2 hashing algorithms and performed updates to various parts of the code base. These modifications are geared towards enhancing the library's cryptographic functionalities and supporting the overall security goals of the project.
inriacoq-librarycryptographicformal-verificationverified
AmineAfia/Battleship-Plus
Jan 2017 - Mar 2017
Contributions:149 commits in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.