Cybersecurity

Shafi Goldwasser and former graduate student Guy Rosenblum, who is now at Microsoft Research, have conducted a ten year foundational study on computer security that focuses on side-channel attacks, the latest and greatest threat to security as cloud computing becomes the new standard.

At the Association for Computing Machinery’s Symposium on Theory of Computing in May, Silvio Micali, and graduate student Pablo Azar will present a new type of mathematical game that they’re calling a rational proof.