Carnegie Mellon University

file

Cache and IO-Efficient Functional Algorithms

 

ABSTRACT

file

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

Challenges for Time-Critical Transportation Cyber-Physical Systems

file

At The Tone, The Time Will Be... Unknown

file

Mixed Physical and Cyber Clocks for CPS