Dartmouth College, Department of Computer Science
Sean Smith has been working in information security---attacks and defenses, for industry and government---for over a decade. In graduate school, he worked with the US Postal Inspection Service on postal meter fraud; as a post-doc and staff member at Los Alamos National Laboratory, he performed security reviews, designs, analyses, and briefings for a wide variety of public-sector clients; at IBM T.J. Watson Research Center, he designed the security architecture for (and helped code and test) the IBM 4758 secure coprocessor, and then led the formal modeling and verification work that earned it the world's first FIPS 140-1 Level 4 security validation. Sean has published numerous refereed papers; given numerous invited talks; and been granted nine patents. His security architecture is used in thousands of financial, e-commerce, and rights managements installations world-wide.
In July 2000, Sean left IBM for Dartmouth since he was convinced that the academic education and research environment is a better venue for changing the world. His current work, as PI of the Dartmouth PKI Lab, investigates how to build trustable systems in the real world.
Sean was educated at Princeton (B.A., Mathematics) and CMU (M.S., Ph.D., Computer Science).
Current Projects: Hardware Based Security (HBS), Human Behavior, Insider Threat and Awareness, Information Risk in Data-Oriented Enterprises (IRIDOE), OpenSolaris, PKI Research, Secure Information Systems Mentoring and Training (SISMAT), Trustworthy Cyber Infrastructure for the Power Grid (TCIP)
Email: sws[at]cs.dartmouth.edu
Website: http://www.cs.dartmouth.edu/~sws/
