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.

file

Visible to the public Automated Code Diversification

ABSTRACT

We have been investigating compiler-generated software diversity as a defense mechanism against software attacks. This approach is in many ways similar to biodiversity in nature.