Posters

file

Visible to the public Inductive Inference of Security

ABSTRACT

file

Visible to the public Compositional Security

Anupam Datta is an Assistant Research Professor at Carnegie Mellon University, where he has appointments in the CyLab, Electrical and Computer Engineering, and (by courtesy) Computer Science departments. His research focuses on the scientific foundations of security and privacy. Datta's work has led to new principles for securely composing network protocols and software systems; applications of these principles have influenced several IEEE and IETF standards.