A high-level language for secure distributed computation
Event details
| Date | 11.06.2013 |
| Hour | 10:00 › 11:00 |
| Speaker | Prof. Andrew Myers, Cornell University |
| Location | |
| Category | Conferences - Seminars |
People exchange code and data increasingly freely across the Internet and the Web, but both code and data are vectors for attacks on confidentiality and integrity. The Fabric project is developing higher-level programming models and programming languages that get us closer to programming the Internet Computer directly. Fabric supports the free exchange of code and data across a decentralized, distributed system. But unlike the Web, Fabric has a principled basis for compositional security: language-based information flow. Fabric raises the level of abstraction for programmers, which simplifies programming, but also makes it easier to reason clearly about
security, even in the presence of distrusted mobile code.
security, even in the presence of distrusted mobile code.
Links
Practical information
- General public
- Free
Organizer
- SuRI 2013
Contact
- Simone Muller