About
Simon Jeanteur is a PreDoc Researcher at the Vienna University of Technology (TU Wien), affiliated with the Faculty of Informatics and the Department of Security and Privacy. His work focuses on cryptographic modeling, blockchain technologies, and automated reasoning for security protocols.
Research Interests: Simon’s research spans formal methods in security, including symbolic attacker models, cryptographic verification, and privacy-preserving technologies. He contributes to projects like Browsec (browser security), CDL-BOT (crypto development), and SFB SPyCoDe (security and privacy research).
Publications Trends: His recent work emphasizes formalizing cryptographic frameworks for blockchain applications, combining automated reasoning with security analysis in distributed systems.
Theses Supervised:
- Zikulnig, A. M. (2024). Formalization of Bitcoin Off-Chain Protocols in F* [Diploma Thesis].
Find Simon Jeanteur elsewhere
Related Searches
You Might Also Like
- MMagdalena Maria SolitroVienna University of Technology · Researcher
- GGiulia ScaffinoVienna University of Technology · Researcher
- MMarkus SchererVienna University of Technology · Researcher
- MMatteo MaffeiVienna University of Technology · Professor
- SStefano TrevisaniVienna University of Technology · Researcher
- VVictoria BuchsbaumVienna University of Technology · Lecturer