Andrew D. Gordon
Microsoft Research

Christian Haack
Radboud University

Alan Jeffrey
Bell Labs

Cryptographic Protocol Type Checker

Introduction

Applet

Examples

Download

Research Papers

Changelog

To Do List

Cryptyc Research Associate Position

Position Detail

  • Employer: DePaul University.
  • Post Date: 09/18/2002.
  • Title: Research Associate.
  • Req #: 251.
  • Job Type: Full Time.
  • Job Status: Regular.
  • Minimum Salary: $41,303.00/yearly.
  • Maximum Salary: $55,000.00/yearly.
  • Division: CTI.
  • Department: Computer Science.
  • Location: Chicago, IL 60604.
  • Country: USA.

Job Detail

The Research Associate's responsibility is on the Cryptyc project. The Cryptyc project is an NSF-funded Trusted Computing research project investigating the use of type systems in providing secrecy and authenticity guarantees for cryptographically secure communication protocols. The project is based on recent work in applying techniques from dependent type-and-effect systems to cryptographic protocols. The aims of the project are: 1) to extend existing type systems for cryptographic protocols with more powerful attacker and agent models; 2) to integrate the resulting system into an object component framework; and 3) to develop a library of validated protocol components.

The project will support a postdoctoral research associate for 30 months at the Foundations of Programming Languages research group at DePaul University's School of Computer Science, Telecommunications and Information Systems.

The start date is flexible; an ideal candidate would be available to start work on 1 January 2003. Applications should be submitted during October 2002.

Required Qualifications

Ph.D in Computer Science; publication history in mathematical foundations of type systems and programming language semantics; programming language development experience. Ability to perform research in mathematical foundations of type systems and programming languages; knowledge of security and cryptography; experience with programming language implementations.

Foundations of Programming Languages Research Group

The Foundations of Programming Languages research group is an active research group with interests in the foundations and implementation of programming languages, including operational semantics, type theory, model checking, concurrency theory, language implementation, models of distributed systems, security, and categorical models of computation.

The research interests of the members of the group are:

  • Radha Jagadeesan: Programming Languages and systems; foundations of concurrency; (timed) concurrent (constraint) logic programming; Reactive, hybrid and real-time systems; games, types and linear logic.

  • Alan Jeffrey: Semantic and categorical models of programming languages, typed semantics for concurrent and distributed systems, higher-order and object-oriented languages, types for security.

  • Karen Bernstein Jeffrey: Mobile and wireless sytems, concurrency theory, semantics of programming languages.

  • Will Marrero: Formal methods, computer aided verification, model checking, computer security.

  • Corin Pitcher: Higher-order and non-deterministic programming languages, categorical logic and type theory, operational and denotational semantics, security.

  • James Riely: Distributed programming languages, type systems, static analysis, security, optimizing compilers.

Applications

Please send a Curriculum Vitae during October 2002 to Alan Jeffrey at ajeffrey@cs.depaul.edu.

Cryptyc implementation Copyright © 2001-2004, Alan Jeffrey and Christian Haack
Technical reports Copyright © 2000-2004 Microsoft Research, Alan Jeffrey and Christian Haack
This material is partly based upon work supported by the National Science Foundation under Grant No. 0208549.
Last modified: Thu Sep 26 15:16:26 CDT 2002