Two important papers co-authored by Andrew Myers, the Class of 1912 Professor of Engineering in the Department of Computer Science, were recognized at separate conferences for their impact in the field of computer security.
Myers and his former graduate student, Steve Zdancewic, Ph.D. ’02, received a Test of Time Award for their 2001 paper, “Robust Declassification,” which was recognized at the IEEE Computer Security Foundations (CSF) Symposium in July. The paper introduced a formal model to improve security of information flow through computer systems.
In March, “A Hardware Design Language for Timing-Sensitive Information-Flow Security,” a 2015 paper Myers co-authored with Cornell colleagues, was one of three that received the “Influential Paper” award at the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). The paper introduced SecVerilog, a hardware description language that allows chip designers to verify how information flows within their designs.
Myers’ research interests include computer security, programming languages, and distributed and persistent programming systems. Among his awards and honors, Myers is an ACM Fellow, an Alfred P. Sloan Research Fellow, and recipient of several awards for teaching excellence.
