Kevin Morio
Doctoral Researcher at CISPA Helmholtz Center for Information Security
Saarbrücken, Saarland, Germany
Summary
👤
Senior🎓
Top SchoolKevin Morio is a doctoral researcher at CISPA with nine years of experience applying formal methods and automated reasoning to security protocol verification and runtime monitoring. He builds practical assurance by translating theoretical guarantees into tools and checks that work on real-world protocols, including contributions to the widely used Tamarin prover. His backend work on the Tamarin sapic translation added features like color-coded processes and accountability-lemma parsing to support advanced analyses such as mixvote verification. Kevin combines academic rigor from his computer science degrees at Universität des Saarlandes with industry exposure from an Intel Labs cloud security internship. Based in Saarbrücken, he focuses on bridging proof-driven security research and deployable monitoring solutions. Colleagues describe him as someone who turns deep formal insights into usable tooling that uncovers subtle protocol weaknesses.
9 years of coding experience
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Universität des Saarlandes
German, English
Github Skills (4)
formal-methods10
verification10
ocaml10
security-protocol10
Programming languages (9)
Github contributions (5)
tamarin-prover/tamarin-prover
Jul 2018 - Jan 2023
Main source code repository of the Tamarin prover for security protocol verification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:67 commits, 25 PRs, 21 comments in 4 years 7 months
Contributions summary:Kevin primarily worked on the `plugins/sapic` directory, modifying `.ml` files to implement new features related to the SAPIC translation process. These changes involved the integration of color-coding for processes, implementing the parsing of accountability lemmas and case tests, and refining the wellformedness checks and restrictions used in the Tamarin prover. The modifications appear focused on improving the functionalities for security protocol verification, specifically for the context of mixvote related analysis.
security-protocoltamarin-prover
specmon/specmon
Jan 2025 - May 2026
Runtime monitoring of formal specifications
Contributions:2 reviews, 24 PRs, 23 pushes in 1 year 4 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.