Sven Dietrich

E-mail: spock (at) panther (dot) adelphi (dot) edu

Quick links: Biography, Research, Publications.


I am an Assistant Professor in the Computer Science department at Stevens Institute of Technology, where I joined in August 2007. Prior to this, I was a Senior Member of the Technical Staff at CERT Research , which is part of the Software Engineering Institute at Carnegie Mellon University, and where I held an appointment at the Carnegie Mellon CyLab and was part of the Carnegie Mellon University Information Networking Institute (INI) faculty. Previously I was a Senior Security Architect at the NASA Goddard Space Flight Center. I can still be sporadically found in the Department of Mathematics and Computer Science at Adelphi University. I maintain a small page on DDoS, and as the Associate Editor for IEEE Cipher I contribute to the Calls for Papers list.


My dissertation title was A Formal Analysis of the Secure Sockets Layer Protocol. My advisor was Dr. Stephen Bloch. My mentor was Dr. Rob Bradley. See exactly where I fit in the big picture, in the Mathematics Genealogy Project. My direct ancestry is as follows:

I am also an academic great-grand-nephew of Alan Turing, since both Simon Kochen and Alan Turing were under Alonzo Church's tutelage.


Cryptography, formal methods for the analysis of cryptographic protocols, computer security, anonymity, privacy, applications of cryptography to electronic commerce.


Program Chair: Financial Cryptography 2007.

Current program committees: Financial Cryptography 2009, ACM CCS 2009, SecureComm 2009, DIMVA 2009.
Recent program committees: Workshop on Information Security Applications (WISA) 2006 and 2007, Financial Cryptography 2006, DIMVA 2005, 2006, 2007 and 2008, ACM CCS 2007 and 2008.

Recent referee for: Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing, and IEEE Security & Privacy Magazine.


These are some of the research projects I am participating in, either as a PI, or a Co-PI.
Past projects, some exciting, and some that are, well, you decide:


Talks and colloquia



I taught a Cryptology course in the Computational Mathematics Program at Duquesne University in the Spring 2007 semester.

I gave guest lectures on computer security during my stay at Carnegie Mellon University (list is out of date):

At Adelphi University, I taught several classes from 1991 to 1997, last in the summer session of 1997. The classes included MTH 110 Precalculus, CSC 271/272 Software I/II (Intermediate Unix/Principles of Programming Languages) and MTH 101 Introduction to Mathematical Ideas.

Cryptography and computer security links

Books on cryptography

Crypto policy and history books

Anonymity and Security

Check out the DIMACS Center at Rutgers University and their Special Year on Networks. For more starting points on cryptography, see Ron Rivest's links and the International Cryptography page. For more information on anonymity, check out Raph Levien's Remailer List (now defunct). For news on the topic of cryptography, see the NewsNow Crypto NewsLink.


Associate Editor for Cipher, the newsletter for the IEEE Computer Society's Technical Committee on Security and Privacy.

Former President of the New York Xi chapter of Pi Mu Epsilon, the National Mathematics Honor Society. Currently President-at-Large.

Member of the International Association for Cryptologic Research,the Association for Computing, the American Mathematical Society, the Mathematical Association of America, and the Society for Industrial and Applied Mathematics.

Also the "vice-advisor-at-large" to the Computer Club at Adelphi University.

Alumnus of the International School of Geneva. Check out the Alumni of Ecolint and the International Baccalaureate Organisation.


Check out the artwork of my friend Silvia. (high bandwidth)

Something puzzling, something intriguing: The Edgar Allen Poe Cryptographic Challenge. This was solved.

Something to jog your mind: IBM's Ponder This.

Some news about New York City:

Some international news feeds:

Last modified: January 2009

Sven Dietrich / spock (at) abraxas (dot) adelphi (dot) edu
My PGP public key.