Increasing security and performance with higher-level abstractions for distributed programming.
Dr. Andrew Myers
Cornell University, Ithaca
SWS Distinguished Lecture Series
Bio: Andrew Myers is a Professor in the Cornell University Department of Computer Science in Ithaca, New York, USA. He received his Ph.D. in Electrical Engineering and Computer Science from MIT. Myers is an ACM Fellow. He has received awards for papers appearing in POPL'99, SOSP'01, SOSP'07, CIDR'13, and PLDI'13. He is currently co-Editor-in-Chief for the Journal of Computer Security and serves on the editorial board of ACM Transactions on Computer Systems.
Code and data are exchanged and reused freely across the Internet and the Web.
But both are vectors for attacks on confidentiality and integrity. Current
systems are vulnerable because they're built at too low a level of abstraction,
without principled security assurance. The Fabric project has been developing
higher-level abstractions that securely support future open, extensible
applications. Unlike current Web abstractions, Fabric has a principled basis
for security: language-based information flow, which works even for distrusted
mobile code. Warranties, a new abstraction for distributed computation,
enable scalability even with a strong consistency model that simplifies
programmer reasoning.
Vera Laubscher, 06/17/2014 15:20
Vera Laubscher, 04/08/2014 08:44
Vera Laubscher, 04/02/2014 15:32
Vera Laubscher, 04/02/2014 14:59 -- Created document.