Dr. Andrew Myers(Cornell University, Ithaka)
"Increasing security and performance with higher-level abstractions for distributed programming"
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.
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
|Time:||Thursday, April 10, 2014 at 10:30 a.m.|
|Place:||MPI-SWS Saarbrücken, Campus E1 5, room 002|
|Video:||Simultaneous video cast to MPI-SWS Kaiserslautern, Paul Ehrlich Str., Building G26, room 113|