Google presents Research Award to D. Lee
Google has presented David Lee with a Google Research Award to conduct basic research on formal analysis of security protocols in terms of modeling, verification and testing. A case study of this research is OUauth, an API authentication protocol that Google is going to standardize and push to market for commercial applications. According to Google, the Google Research Award is to maintain strong ties with academic institutions that are doing world-class research in areas such as information retrieval, artificial intelligence, and systems. As part of their mission to develop the most advanced and usable methods for information access, we have developed the Google Research Awards program to provide funding support to researchers at academic institutions working on problems relevant to Google's mission.