キャス・クレマーズ

カシミエ・ジョセフ・フランシスカス・「カス」・クレマーズ（1974年生まれ）は、ドイツのザールブリュッケンにあるCISPAヘルムホルツ情報セキュリティセンターのコンピューター科学者兼教員である。^[3]

クレマーズは、2006 年にアイントホーフェン工科大学で、ショーケ・マウとエリック・デ・ヴィンクの指導の下、博士号を取得しました。2006 年から 2013 年にかけて、スイスのチューリッヒ工科大学の情報セキュリティ グループに勤務し、2013 年にオックスフォード大学に加わりました。2015 年に情報セキュリティの教授に就任しました。^{[4]クレマーズの研究は、}情報セキュリティ、特にセキュリティ プロトコルの形式分析に焦点を当てています。この作業は、プロトコル分析の数学的基礎の開発から、分析ツールの開発、特に Scyther ツールと Tamarin ツールの開発にまで及びます。最近、クレマーズの研究は、プロトコル標準化 (ISO/IEC 9798 標準の改善を含む) や応用暗号などの方向に拡大し、新しいセキュリティ要件とプロトコルの開発につながっています。マルコ・ホルバート、サム・スコット、およびティラ・ファン・デル・メルヴェとの共同研究により、TLS 1.3 仕様に少なからず変更が加えられました。^{[5] [6]}

2018年にクレマーズはオックスフォード大学からザールブリュッケンのCispa Helmholtz情報セキュリティセンターに移った。^[3]

クレマーズは以前、 MSX コンピュータゲーム開発に携わっており、最初はシグマグループで働き、その後自身のグループであるパララックスを設立しました。彼は、プログラマー、デザイナー、作曲家、ライターなどの役割を組み合わせて、9つの異なるゲームと他の多くのデモに携わったとされています。^[7]彼は、ブログ「Distrito Entebras」で、MSXゲーム開発でのキャリアの歴史についてインタビューを受けました。^[8]

Cremersの出版物は、セキュリティ、暗号化、ISO標準、セキュリティプロトコルの自動検証、形式手法などをカバーしています。^[9]彼の論文は「Scyther - セキュリティプロトコルの意味論と検証」と題され、Sjouke MauwとErik de Vinkの指導を受けました。^{[9]また、Sjouke Mauwとの共著に}「Operational Semantics and Verification of Security Protocols」があります。

• DBLP書誌サーバーの Cas JF Cremers
• Cas Cremers の個人 Web ページ
• キャス・クレマーズの出版物
• CISPA ヘルムホルツ情報セキュリティセンター
• ブレードロード（MSX）のビデオ