Loading article…
ギャビン・ロウ | |
|---|---|
| 国籍 | イギリス |
| 母校 | オックスフォード大学 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | オックスフォード大学（2000年以降）[1] レスター大学（2000年まで）[2] |
| 論文 | 時間制限付き CSP における確率と優先順位 (1993) |
| 博士課程の指導教員 | ビル・ロスコー |
ギャビン・ロウはイギリスの学者です。彼はオックスフォード大学セントキャサリンズ・カレッジのコンピュータサイエンス教授[3]およびチュートリアルフェロー[1]であり、オックスフォード大学の教授[3]およびオックスフォード大学セントキャサリンズ・カレッジのシニアコモンルームの代表でもあります[1] 。彼の研究対象にはコンピュータセキュリティがあり、この分野では暗号プロトコル分析ツールCasperを開発しました。 また、並行性も研究しています。
教育
ロウはオックスフォード大学セント・ジョンズ・カレッジで学部生として数学を学び、[4]その後オックスフォード大学で計算科学の修士号を取得しました。[1]彼はオックスフォード大学セント・ヒューズ・カレッジで博士号を取得し、[5] 「時間制限付きCSPにおける確率と優先度」と題する論文を執筆しました。[5] [6]彼は1995年にニーダム・シュローダー・プロトコルへの攻撃とその問題を解決する方法を詳述した論文を発表しました。 [7] [8]論文で説明されているプロトコルの修正バージョンはニーダム・シュローダー・ロウ・プロトコルと呼ばれています。[9]
キャリア
彼の研究対象にはコンピュータセキュリティが含まれており、このために暗号プロトコル解析ツールCasperを開発しました。[10]このツールはセキュリティプロトコルの記述をCSPに変換し、それをFDR リファインメントチェッカーで処理します。最近、彼は並行性の分野の研究に移行しました。[3]
彼は2010年にセキュリティプロトコル分析のための自動推論とセキュリティ理論の問題に関する合同ワークショップのプログラム共同議長を務めた。[11]
ロウは著名な教師であり、2008年[12]と2010年に教育賞を受賞している。 [13] [14 ]ピーター・ミリカンとともに、 2012年にオックスフォード大学でコンピュータサイエンスと哲学の新しい共同学位の開発と設立を担当している。 [13] [15]
私生活
ロウは洞窟探検を楽しんでいる。[16]彼は1988年から1989年までオックスフォード大学洞窟探検クラブの書記を務め、 1990年にはタックルマスターを務めた。 [4]
参考文献
- ^ abcd "Gavin lowe".セント・キャサリンズ・カレッジ、オックスフォード。 2018年2月10日閲覧。
- ^ 「元職員 - レスター大学」レスター大学2018年2月10日閲覧。
- ^ abc 「Gavin Lowe」。オックスフォード大学コンピューターサイエンス学部。 2018年2月10日閲覧。
- ^ ab 「OU Cave Club History」。www.oucc.org.uk 。 2018年2月11日閲覧。
- ^ ab Lowe, Gavin (1994).時間制限付き CSP における確率と優先度(DPhil).オックスフォード大学.
- ^ 「Gavin Loweの出版物」オックスフォード大学。 2018年2月10日閲覧。
- ^ Lowe, Gavin (1995 年 11 月). 「Needham-Schroeder 公開鍵認証プロトコルに対する攻撃」. Information Processing Letters . 56 (3): 131–136. CiteSeerX 10.1.1.394.6094 . doi :10.1016/0020-0190(95)00144-2 . 2008 年4 月 17 日閲覧。
- ^ 「暗号化は難しい」。
- ^ コンピュータセキュリティ、ESORICS 96：第4回ヨーロッパコンピュータセキュリティ研究シンポジウム、ローマ、イタリア、1996年9月25～27日：議事録。ベルティーノ、エリサ。ベルリン：シュプリンガー。1996年。ISBN 9783540617709. OCLC 35364818.
{{cite book}}: CS1 メンテナンス: その他 (リンク) - ^ 「Casper: セキュリティプロトコルの分析のためのコンパイラ」オックスフォード大学。 2018年2月10日閲覧。
- ^ Armando, Alessandro; Lowe, Gavin (2010 年 3 月 27 ～ 28 日)。Armando, Alessandro; Lowe, Gavin (編)。セキュリティプロトコル分析の自動推論とセキュリティ理論の課題。Lecture Notes in Computer Science。Vol. 6186。Springer。p. 185。Bibcode :2011LNCS.6186.....A。doi :10.1007 / 978-3-642-16074-5。ISBN 978-3-642-16073-8. S2CID 27746720。
- ^ 「官報第4857号補足(1)」(PDF)。オックスフォード大学。2008年10月22日。3ページ。 2018年2月24日時点のオリジナル(PDF)からアーカイブ。 2018年2月11日閲覧。
- ^ ab 「Gazette No. 4931、Vol 141の補足（1）」（PDF）。オックスフォード大学。2010年10月27日。1ページ。
- ^ 「Teaching Excellence Awards 受賞者発表」オックスフォード大学コンピュータサイエンス学部。2010 年 7 月 5 日。
- ^ アリス・ライトン (2010年10月22日). 「ニュース 新しい学位: 私はプロセスする、ゆえに私は存在する」.オックスフォード学生.
- ^ 「Gavin Lowe's Caving Page」。2018年2月10日閲覧。