Assistant Professor, ECE & CS Dept.
Carnegie Mellon
University
Research Interests
Computer security and applied cryptography, including security in
systems, networking, and databases. Applications of program analysis,
model checking, and software engineering techniques to computer
security. Theory of cryptology. Algorithms, especially randomized
algorithms, algorithms for networking and large datasets.
