Martín Abadi, professor of computer science, has received a top honor from the Association for Computing Machinery (ACM). The ACM's Special Interest Group on Security, Audit and Control (SIGSAC) presented Abadi with the SIGSAC Outstanding Innovations Award for fundamental contributions in applying logic and provability to information security. Abadi received the award at the SIGSAC Computer and Communications Security Conference in Alexandria, Virginia, in November.
In announcing the award, ACM noted, "Dr. Abadi made key contributions to authentication in distributed computer systems, and to the design and analysis of security protocols for authentication. His published research has initiated entirely new productive directions that have attracted the contributions of researchers all over the world."
Abadi is a principal researcher at Microsoft Research and an editorial board member of a number of journals, including Information and Computation and Journal of the ACM. He has served as program chair for the Institute of Electrical and Electronics Engineers (IEEE) Symposium on Security and Privacy, and the IEEE Symposium on Logic in Computer Science. Abadi holds patents for discoveries in distributed systems, programming language analysis, and computer security.
The SIGSAC awarded its other top honor, the Outstanding Contributions Award, to Sushil Jajodia of George Mason University. The awards each carry a $1,000 prize.
