Английская Википедия:Cas Cremers
Шаблон:Multiple issues Шаблон:Use dmy dates Шаблон:Infobox scientist
Casimier Joseph Franciscus "Cas" Cremers (born 1974) is a computer scientist and a faculty member at the CISPA Helmholtz Center for Information Security in Saarbruecken, Germany.[1]
Career
Cremers received his PhD from Eindhoven University of Technology in 2006, under the supervision of Sjouke Mauw and Erik de Vink. Between 2006 and 2013, he worked at the Information Security Group at ETH Zurich, Switzerland, until joining the University of Oxford in 2013. He was made full professor of Information Security in 2015.[2] His research focuses on information security, in particular the formal analysis of security protocols. This work ranges from developing mathematical foundations for protocol analysis to the development of analysis tools, notably the Scyther and Tamarin tools. Recently his research expanded into directions such as protocol standardisation, including the improvement of the ISO/IEC 9798 standard, and applied cryptography, leading to the development of new security requirements and protocols. His joint work with Marko Horvat, Sam Scott, and Thyla van der Merwe led to a not insignificant change to the TLS 1.3 specification.[3][4]
In 2018 Cremers moved from Oxford University to the Cispa Helmholtz Center for Information Security at Saarbrücken.[1]
Cremers previously worked in MSX computer game development, initially working for the Sigma Group before founding his own group Parallax; he is credited for work on nine different games, and many other demos, in a combination of roles including programmer, designer, composer, and writer.[5] He was interviewed by blog "Distrito Entebras" on the history of his career working in MSX games development.[6]
Publications
Cremers' publications cover security, cryptography, ISO standards, automated verification of security protocols, and formal methods.[7] His thesis was entitled "Scyther - Semantics and Verification of Security Protocols", and was supervised by Sjouke Mauw and Erik de Vink.[7] Also published with Sjouke Mauw is their book Operational Semantics and Verification of Security Protocols.
References
External links
- Шаблон:DBLP
- Cas Cremers' personal web-page
- Cas Cremers' publications
- CISPA Helmholtz Center for Information Security
- Video of Blade Lords (MSX)
- Английская Википедия
- 1974 births
- Living people
- Dutch computer scientists
- Members of the Department of Computer Science, University of Oxford
- Fellows of Kellogg College, Oxford
- Formal methods people
- Eindhoven University of Technology alumni
- People from Geleen
- Dutch computer programmers
- Computer security academics
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Английской Википедии