Sean W. Smith     Last modified: 11/14/18 08:58:59 AM


B.A., 1987.
Mathematics , Princeton University.
Magna cum laude, Phi Beta Kappa, Sigma Xi.
Advisor: Andrew Appel
Thesis: The Apparent Link Between Typability and Computational Complexity in Lambda-Calculus

M.S., 1988. Ph.D., 1994.
Computer Science , Carnegie Mellon University.
Advisor: Doug Tygar .
Thesis: Secure Distributed Time for Secure Distributed Protocols.


Los Alamos National Laboratory
Post-doctoral Research Associate, 1994-1996.
Technical Staff Member, 1996-1996.
Computer Research and Applications Group (CIC-3)

IBM T.J. Watson Research Center
Research Staff Member, 1996 - 2002.
Secure Systems and Smart Cards
(on leave of absence from August 2000 to July 2002)

Dartmouth College
Assistant Professor, July 2000 - June 2006.
Associate Professor (with tenure), July 2006 - June 2011
Professor, July 2011 - present
Department of Computer Science

Papers (Click here)

Patents (Click here)

Teaching (Click here)

Advising (Click here)

FIPS 140 Validations (Click here)

Back home Maintained by Sean Smith,