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.[3]
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.[4] 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.[5][6]
In 2018 Cremers moved from Oxford University to the Cispa Helmholtz Center for Information Security at Saarbrücken.[3]
Cremers previously worked in MSXcomputer 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.[7] He was interviewed by blog "Distrito Entebras" on the history of his career working in MSX games development.[8]
Publicationsedit
Cremers' publications cover security, cryptography, ISO standards, automated verification of security protocols, and formal methods.[9] His thesis was entitled "Scyther - Semantics and Verification of Security Protocols", and was supervised by Sjouke Mauw and Erik de Vink.[9] Also published with Sjouke Mauw is their book Operational Semantics and Verification of Security Protocols.
Referencesedit
^Cas Cremers (@CasCremers), Twitter, accessed January 2018.
^ ab"Prof. Cas Cremers: CISPA Helmholtz Center for Information Security". Retrieved 30 July 2019.
^"Three members of the Department conferred with the title of Professor under University's Recognition of Distinction process". Retrieved 31 July 2015.
^"The Transport Layer Security (TLS) Protocol Version 1.3: Appendix G. Contributors". Retrieved 24 September 2017.
^"Automated Analysis of TLS 1.3". Retrieved 24 September 2017.
^"Cas Cremers - MSX Wiki". Retrieved 28 January 2015.
^"Interviewing Cas Cremers, Parallax MSX Software founder and Information Security Professor at Oxford University". 27 August 2017. Retrieved 24 September 2017.
^ ab"Publications of Prof. Dr. Cas Cremers:Oxford University". Retrieved 28 January 2015.
cremers, this, article, multiple, issues, please, help, improve, discuss, these, issues, talk, page, learn, when, remove, these, template, messages, major, contributor, this, article, appears, have, close, connection, with, subject, require, cleanup, comply, w. This article has multiple issues Please help improve it or discuss these issues on the talk page Learn how and when to remove these template messages A major contributor to this article appears to have a close connection with its subject It may require cleanup to comply with Wikipedia s content policies particularly neutral point of view Please discuss further on the talk page January 2018 Learn how and when to remove this message This article may rely excessively on sources too closely associated with the subject potentially preventing the article from being verifiable and neutral Please help improve it by replacing them with more appropriate citations to reliable independent third party sources January 2018 Learn how and when to remove this message Some of this article s listed sources may not be reliable Please help improve this article by looking for better more reliable sources Unreliable citations may be challenged and removed January 2018 Learn how and when to remove this message Learn how and when to remove this message 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 3 Cas CremersBorn 1974 06 16 16 June 1974 age 49 1 Geleen 2 NationalityDutchAlma materEindhoven University of TechnologyKnown forScyther TamarinScientific careerFieldsComputer Science Computer SecurityInstitutionsCISPA Helmholtz Center for Information SecurityThesisScyther Semantics and Verification of Security Protocols 2006 Doctoral advisorSjouke MauwOther academic advisorsErik de Vink Contents 1 Career 2 Publications 3 References 4 External linksCareer editCremers 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 4 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 5 6 In 2018 Cremers moved from Oxford University to the Cispa Helmholtz Center for Information Security at Saarbrucken 3 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 7 He was interviewed by blog Distrito Entebras on the history of his career working in MSX games development 8 Publications editCremers publications cover security cryptography ISO standards automated verification of security protocols and formal methods 9 His thesis was entitled Scyther Semantics and Verification of Security Protocols and was supervised by Sjouke Mauw and Erik de Vink 9 Also published with Sjouke Mauw is their book Operational Semantics and Verification of Security Protocols References edit Cas Cremers CasCremers Twitter accessed January 2018 PhD Thesis Eindhoven 2006 a b Prof Cas Cremers CISPA Helmholtz Center for Information Security Retrieved 30 July 2019 Three members of the Department conferred with the title of Professor under University s Recognition of Distinction process Retrieved 31 July 2015 The Transport Layer Security TLS Protocol Version 1 3 Appendix G Contributors Retrieved 24 September 2017 Automated Analysis of TLS 1 3 Retrieved 24 September 2017 Cas Cremers MSX Wiki Retrieved 28 January 2015 Interviewing Cas Cremers Parallax MSX Software founder and Information Security Professor at Oxford University 27 August 2017 Retrieved 24 September 2017 a b Publications of Prof Dr Cas Cremers Oxford University Retrieved 28 January 2015 External links editCas J F Cremers at DBLP Bibliography Server nbsp Cas Cremers personal web page Cas Cremers publications CISPA Helmholtz Center for Information Security Video of Blade Lords MSX Retrieved from https en wikipedia org w index php title Cas Cremers amp oldid 1199232659, wikipedia, wiki, book, books, library,
