Gavin Lowe(컴퓨터 과학자)

Gavin Lowe (computer scientist)
이 기사는 컴퓨터 과학자에 관한 것이다.럭비 선수는 Gavin Lowe를 참조하십시오.
개빈 로
국적.영국의
모교옥스퍼드 대학교
과학 경력
필드컴퓨터 사이언스
기관옥스퍼드 대학교(2000년부터)[1] 레스터 대학교(2000년까지)[2]
논문타이밍 설정 CSP의 확률과 우선순위 (1993)
박사 어드바이저빌 로스코

Gavin Lowe는 영국의 학자이다.그는 [1]옥스퍼드 세인트 캐서린 칼리지 컴퓨터 공학[3] 및 튜토리얼 펠로우, [3]옥스퍼드 대학교 교수, [1]옥스퍼드 세인트 캐서린 칼리지 시니어 커먼룸 총장입니다.그의 연구 관심사는 암호화 프로토콜 분석 도구인 Casper를 개발한 컴퓨터 보안과 동시성입니다.

교육

로우는 [4]옥스퍼드 세인트 존스 칼리지에서 학부생으로 수학을 공부한 후 옥스퍼드 [1]대학에서 계산학 석사학위를 받았습니다.그는 옥스퍼드 [5]세인트 휴즈 칼리지에서 DPhil을 맡아 "Timed [5][6]CSP에서의 확률과 우선순위"라는 논문을 썼습니다.그는 1995년에 [7][8]Needham-Schroeder 프로토콜에 대한 공격과 이 문제를 해결하기 위한 방법을 상세히 기술한 논문을 발표했다.이 문서에서 설명하는 프로토콜의 고정 버전을 Needham-Shroeder라고 합니다.Lowe 프로토콜.[9]

직업

그의 연구에는 컴퓨터 보안도 포함되어 있으며, 이를 위해 암호 프로토콜 분석 도구인 Casper를 [10]개발했습니다.이 도구는 보안 프로토콜 설명을 CSP로 변환하고, CSP는 FDR 미세화 체커에 의해 처리됩니다.최근에는 동시성 [3]분야 연구로 옮겨가고 있다.

그는 [11]2010년 보안 프로토콜 분석 및 보안 이론 문제를 위한 자동 추론에 관한 공동 워크숍의 공동 의장을 맡았습니다.

Lowe는 2008년과 [13][14]2010년에[12] 교사상을 수상한 뛰어난 교사입니다.피터 밀리컨과 함께,[13][15] 그는 2012년 옥스퍼드 대학에서 컴퓨터 과학과 철학의 새로운 공동 학위 개발과 설립을 책임지고 있다.

사생활

로우는 [16]캐빙을 즐긴다.그는 1988년부터 1989년까지 옥스포드 대학 동굴 클럽의 비서였고,[4] 1990년에는 태클 마스터였다.

레퍼런스

  1. ^ a b c d "Gavin lowe". St Catherine's College, Oxford. Retrieved 10 February 2018.
  2. ^ "Ex-Staff - University of Leicester". University of Leicester. Retrieved 10 February 2018.
  3. ^ a b c "Gavin Lowe". Department of Computer Science, University of Oxford. Retrieved 10 February 2018.
  4. ^ a b "OU Cave Club History". www.oucc.org.uk. Retrieved 11 February 2018.
  5. ^ a b Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
  6. ^ "Publications by Gavin Lowe". University of Oxford. Retrieved 10 February 2018.
  7. ^ Lowe, Gavin (November 1995). "An attack on the Needham-Schroeder public key authentication protocol". Information Processing Letters. 56 (3): 131–136. CiteSeerX 10.1.1.394.6094. doi:10.1016/0020-0190(95)00144-2. Retrieved 17 April 2008.
  8. ^ "Cryptography is Hard".
  9. ^ Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25–27, 1996 : proceedings. Bertino, Elisa. Berlin: Springer. 1996. ISBN 9783540617709. OCLC 35364818.{{cite book}}: CS1 유지보수: 기타 (링크)
  10. ^ "Casper: A Compiler for the Analysis of Security Protocols". University of Oxford. Retrieved 10 February 2018.
  11. ^ Armando, Alessandro; Lowe, Gavin (27–28 March 2010). Armando, Alessandro; Lowe, Gavin (eds.). "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security". Lecture Notes in Computer Science. Springer. 6186: 185. Bibcode:2011LNCS.6186.....A. doi:10.1007/978-3-642-16074-5. ISBN 978-3-642-16073-8. S2CID 27746720.
  12. ^ "Supplement (1) to Gazette No. 4857" (PDF). University of Oxford. 22 October 2008. p. 3. Archived from the original (PDF) on 24 February 2018. Retrieved 11 February 2018.
  13. ^ a b "Supplement (1) to Gazette No. 4931, Vol 141" (PDF). University of Oxford. 27 October 2010. p. 1.
  14. ^ "Teaching Excellence Awards winners announced". Department of Computer Science, University of Oxford. 5 July 2010.
  15. ^ Alice Lighton (22 October 2010). "NEWS New degree: I process, therefore I am". Oxford Student.
  16. ^ "Gavin Lowe's Caving Page". Retrieved 10 February 2018.