معرفی
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].
Simon Jeanteur در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMagdalena Maria SolitroVienna University of Technology · پژوهشگر
- GGiulia ScaffinoVienna University of Technology · پژوهشگر
- MMarkus SchererVienna University of Technology · پژوهشگر
- MMatteo MaffeiVienna University of Technology · استاد
- SStefano TrevisaniVienna University of Technology · پژوهشگر
- VVictoria BuchsbaumVienna University of Technology · مدرس