BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:A high-level language for secure distributed computation
DTSTART:20130611T100000
DTEND:20130611T110000
DTSTAMP:20260407T211012Z
UID:85f8a54d1cfd553d6973f858393baf2953209923637b9fafa03cb0ca
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Andrew Myers\, Cornell University\nPeople exchange code 
 and data increasingly freely across the Internet and the Web\, but both co
 de and data are vectors for attacks on confidentiality and integrity.  Th
 e Fabric project is developing higher-level programming models and program
 ming languages that get us closer to programming the Internet Computer dir
 ectly.  Fabric supports the free exchange of code and data across a decen
 tralized\, distributed system. But unlike the Web\, Fabric has a principle
 d basis for compositional security: language-based information flow. Fabri
 c raises the level of abstraction for programmers\, which simplifies progr
 amming\, but also makes it easier to reason clearly about\nsecurity\, even
  in the presence of distrusted mobile code.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR