Objective | |
Education | 2001–2006 Dartmouth College Hanover, NH PhD program in Computer Science, expected graduation in Fall 2006. Adviser: Prof. Sean Smith. Thesis: Using Tiny Trusted Third Parties to Enhance Secure Two-Party Computations. Examines how two adversarial participants can compute a function on their private data so that no information about each participant's data is revealed to the other (or anyone else). We are targeting larger functions on larger data (eg. graph search) than earlier works, and to this end employ a physically secure computer (like the IBM 4758 secure coprocessor) as a trusted device. The main challenge stems from the fact that such devices have very small protected memory, and thus need to use external (untrusted) resources, without leaking information.
|
| 1997–2001 Dartmouth College Hanover, NH B.A., Computer Science major, Engineering Sciences minor. Thesis: An Armored Data Vault, adviser Prof. Sean Smith.
|
Research Interests | Network and systems security, hardware-based security and acceleration, secure multiparty computation, privacy and anonymity, secure virtualization, functional programming, domain-specific languages.
|
Selected Work Experience | Jun-Dec 2004 Intel Corp., Trusted Platforms group Hillsboro, OR Security Architecture and Implementation Intern Worked on the design of the security architecture for the LaGrande Technology (LT) platform, including the Trusted Platform Module (TPM) version 1.2. Worked on an implementation of the Trusted Computing Group (TCG) stack. Designed an application of the LT platform for secure co-processing.
|
| 2002–present Dartmouth PKI Lab Hanover, NH Research Assistant Hardware-assisted Secure Computation: Designed and implemented a compiler and runtime to perform execution of general programs on the 4758 secure coprocessor, using very little trusted RAM and without leaking information outside the secure coprocessor. Private Directory: Developed an LDAP directory offering Private Information Retrieval (PIR) of X.509 certificates, using the IBM 4758 Secure Coprocessor.
|
| 2001–2002 Dartmouth CS Department Hanover, NH Teaching Assistant Algorithms: CS 25, with Prof. Javed Aslam. Computer Networks: CS 78, with Prof. David Kotz. Concepts in Computing: CS 4, with Prof. Tom O'Connell.
|
| Jun–Sep 2000 Microsoft Corp., PocketPC group Redmond, WA Software Design Engineer in Test Investigated and implemented software complexity measurements. Implemented an instrumentation system for the Pocket PC, in C++.
|
| Jun 1998–Oct 1999 Mobile Agents Research Group Hanover, NH Programmer (part time) Designed and implemented a graphical tracking system for mobile agents, using Tcl/Tk. Implemented a Persistent Query Service for mobile agents, using Java and interfacing to a document-clustering library written in C++.
|
Publications | Alexander Iliev and Sean Smith, “Protecting Client Privacy with Trusted Computing at the Server: Two Case Studies”, IEEE Security and Privacy Magazine, Vol. 3 No. 2, pages 20-28, March 2005. Alexander Iliev and Sean Smith, “More Efficient Secure Function Evaluation Using Tiny Trusted Third Parties”, Dartmouth College CS Technical Report 2005-551, July 2005. Alexander Iliev and Sean Smith, “Towards Tiny Trusted Third Parties”, Dartmouth College CS Technical Report 2005-547, July 2005. Alexander Iliev and Sean Smith, “Private Information Storage with Logarithmic-space Secure Hardware”, I-NetSec04: 3rd Working Conference on Privacy and Anonymity in Networked and Distributed Systems, Aug 2004. Alex Iliev and S.W. Smith, “Privacy-Enhanced Directory Services.” PKI Research Workshop 2003. April 2003. Alex Iliev and S.W. Smith, “Prototyping an Armored Data Vault: Rights Management on Big Brother's Computer.” Privacy Enhancing Technologies 2002. April 2002. Springer-Verlag LNCS 2482.
|
Computer Experience | Platforms: Linux/Unix, Windows NT/2000/XP. Programming languages: C/C++, Haskell, Java, Perl, Tcl/Tk, HTML, Javascript, ML, some Lisp/Scheme. Toolkits: NSS, OpenSSL. Other: XML/XSLT, DOM, RPC/XDR.
|
Languages | |