Cas Cremers - Cas Cremers - Wikipedia
 | Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)
|
Cas Cremers | |
|---|---|
| narozený | 16. června 1974[1] |
| Národnost | holandský |
| Alma mater | Eindhoven University of Technology |
| Známý jako | Scyther, Tamarin |
| Vědecká kariéra | |
| Pole | Počítačová věda, Zabezpečení počítače |
| Instituce | CISPA Helmholtz Center for Information Security |
| Teze | Scyther - sémantika a ověření bezpečnostních protokolů (2006) |
| Doktorský poradce | Sjouke Mauw |
| Ostatní akademičtí poradci | Erik de Vink |
Casimier Joseph Franciscus "Cas" Cremers (narozen 1974) je počítačový vědec a člen fakulty v CISPA Helmholtzově centru pro informační bezpečnost v Saarbrückenu v Německu.[3]
Kariéra
Cremers získal doktorát z Eindhoven University of Technology v roce 2006 pod dohledem Sjouke Mauwa a Erika de Vinka. V letech 2006 až 2013 pracoval ve skupině Information Security Group ve společnosti ETH Curych, Švýcarsko, dokud se nepřipojí k University of Oxford v roce 2013. V roce 2015 byl jmenován řádným profesorem informační bezpečnosti.[4]Jeho výzkum se zaměřuje na informační bezpečnost, zejména na formální analýzu bezpečnostních protokolů. Tato práce sahá od vývoje matematických základů pro analýzu protokolů po vývoj analytických nástrojů, zejména nástrojů Scyther a Tamarin. Nedávno se jeho výzkum rozšířil do směrů, jako je standardizace protokolů, včetně zdokonalení normy ISO / IEC 9798 a aplikovaná kryptografie, což vedlo k vývoji nových bezpečnostních požadavků a protokolů. Jeho společná práce s Markem Horvatem, Samem Scottem a Thylou van der Merwe vedla k nezanedbatelné změně specifikace TLS 1.3.[5][6]
V roce 2018 se společnost Cremers přestěhovala z Oxfordské univerzity do Centra informační bezpečnosti Cispa Helmholtz v Saarbrückenu.[3]
Cremers dříve pracoval v MSX vývoj počítačových her, původně pracoval pro skupinu Sigma před založením vlastní skupiny Parallax; je připočítán za práci na devíti různých hrách a mnoha dalších ukázkách v kombinaci rolí včetně programátora, designéra, skladatele a spisovatele.[7] Dotazoval se na blog „Distrito Entebras“ o historii své kariéry při vývoji her MSX.[8]
Publikace
Publikace Cremers 'cover bezpečnostní, kryptografie, Normy ISO automatické ověřování bezpečnostních protokolů a formální metody.[9] Jeho práce měla název „Scyther - sémantika a ověření bezpečnostních protokolů“ a vedli ji Sjouke Mauw a Erik de Vink.[9] Se Sjouke Mauwem vyšla také jejich kniha Provozní sémantika a ověření bezpečnostních protokolů.
Reference
- ^ Cas Cremers (@CasCremers), Twitter, zpřístupněno v lednu 2018.
- ^ Disertační práce, Eindhoven 2006
- ^ A b „Prof. Cas Cremers: CISPA Helmholtz Center for Information Security“. Citováno 30. července 2019.
- ^ „Tři členové katedry získali titul profesor v rámci procesu uznávání vyznamenání na univerzitě“. Citováno 31. července 2015.
- ^ „Protokol TLS (Transport Layer Security) verze 1.3: Příloha G. Přispěvatelé“. Citováno 24. září 2017.
- ^ „Automatizovaná analýza TLS 1.3“. Citováno 24. září 2017.
- ^ "Cas Cremers - MSX Wiki". Citováno 28. ledna 2015.
- ^ „Interviewing Cas Cremers, Parallax MSX Software zakladatel a profesor informační bezpečnosti na Oxfordské univerzitě“. Citováno 24. září 2017.
- ^ A b „Publikace prof. Dr. Cas Cremers: Oxford University“. Citováno 28. ledna 2015.
