Sean W. Smith
www.cs.dartmouth.edu/~sws/cv/index.shtml
Last modified: Monday, 16-Feb-2004 11:32:12 EST

Education

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.


Appointments

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 - present.
Department of Computer Science


Research (Click here)


Papers (Click here)


Patents (Click here)


Teaching (Click here)


Advising (Click here)


FIPS 140 Validations (Click here)


Grants

Principal Investigator.
Greenpass: Flexible and Scalable Authorization for Wireless Networks.
Cisco Corporation.
$100K. November 2003.

Co-PI.
Survivable Trust for Critical Infrastructure.
National Science Foundation.
$360K. July 2002.

Principal investigator.
Information Security.
US Department of Justice.
$464K. February 2002.

Principal investigator.
Transforming Academic Computing with Public-Key Infrastructure.
Mellon Foundation.
$1.6M. January 2002.

Principal investigator.
Internet 2 PKI Lab.
AT&T/Internet 2.
$100K. January 2001.


Invitational

CRA Conference on Grand Research Challenges in Information Security and Assurance.
November 2003. NSF grant review panels.
June 2003; March 2002; February 2001.

NSF Cyber Trust Point Meeting.
August 2003.

NSF/NIST Invitational Workshop on Cybersecurity Workforce Needs Assesment and Educational Innovation.
August 2003.

ACM/CHI2003 Workshop on Human-Computer Interaction and Security Systems.
April 2003.

CERIAS Information Security Curriculum Development Workshop.
April 2002.

NSF Setting a National Research Agenda: a Workshop on Research Issues in Security, Privacy, and Trust.
February 2002.


Editorial

Member, program committee.
1st European PKI Workshop.
2004.

Member, program commitee.
3rd Annual NIST/NIH/Internet2 PKI R&D Workshop.
2004.

Member, program committee.
8th International Financial Cryptography Conference
2004.

Member, program committee.
13th USENIX Security Symposium.
2004.

Member, program committee.
10th ACM Conference on Computer and Communications Security.
2003.

Member, program committee
2nd Annual NIST/NIH/Internet2 PKI Research Workshop..
April 2003

Member, program committee.
9th ACM Conference on Computer and Communications Security.
2002.

Program chair
1st Annual NIST/NIH/Internet2 PKI Research Workshop.
April 2002.

Member, program committee
MASCOTS 2001: ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

Member, International Board of Referees.
Computers and Security.
2002 - present.

Departmental editor.
IEEE Security and Privacy Magazine
Sep 2002 - present.

Guest editor.
ACM Transactions on Information and System Security.

Member, editorial board.
eJETA.org: Electronic Journal on E-Commerce Tools and Applications..
2001 - present.

Reviewer
Journal of Digital Libraries
2004.

Reviewer
Annual Computer Security Applications Conference.
2003, 2002.

Reviewer
USENIX Conference on File and Storage Technologies

Reviewer
IEEE Transactions on Computers

Reviewer
IEEE Symposium on Reliable Distributed Systems

Reviewer
Addison-Wesley.


Service

Marshal
Dartmouth Chapter of Phi Beta Kappa.
2002 - present.

Member, Faculty Advisory Board
Institute for Security Technology Studies at Dartmouth.


Selected Honors

IBM Second Plateau Invention Achievement Award.
November 1999.

IBM Academy of Technology, Security Consultancy.
August 1999.

IBM Outstanding Innovation Award.
June 1999.

IBM Outstanding Accomplishment Award, for FIPS 140-1 Level 4 Validation (with team).
December 1999.

SSA Deputy Commissioner's Citation (with team).
January 1996.


Back home Maintained by Sean Smith, sws@cs.dartmouth.edu