Events Calendar

Throughout the year, MC2 hosts a number of events of broad interest. These include our annual cybersecurity symposium, regular seminars, summer schools, and outreach events for high-school and middle-school students interested in learning more about cybersecurity.  Please check the website frequently for the latest information about each of our exciting events.

Event Information

Fall 2013 Google Seminar Series: Benjamin C. Pierce, University of Pennsylvania
Thursday, December 12, 2013
5:00 p.m.
1115 Computer Science Instructional Center (CSI)
For More Information:
Cristin Caparotta
301 405 6735

The title of his talk is: The SAFE Machine: An Architecture for Pervasive Information Flow

The CRASH/SAFE project is building a network host that is highly resiliant to cyber-attack. One pillar of the design is pervasive mechanisms for tracking information flow. At the lowest level, the SAFE hardware offers fine-grained tagging and efficient support for propagating and combining tags on each instruction dispatch. The operating system virtualizes these generic facilities to provide the information-flow abstract machine on which user programs run. In this talk, we'll take a guided tour of (a simplified model of) the SAFE hardware and software and an end-to-end proof of noninterference for this model.

Benjamin Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research centers on programming languages, static type systems, language-based security, computer-assisted proof, concurrent and distributed programming, and synchronization technologies. His books include the widely used graduate texts Types and Programming Languages and Software Foundations. He serves as co-Editor in Chief of the Journal of Functional Programming, as Managing Editor for Logical Methods in Computer Science, and as editorial board member of Mathematical Structures in Computer Science and Formal Aspects of Computing. He is also the lead designer of the popular Unison file synchronizer.

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

October 2020
1 2 3 w
4 5 6 7 8 9 10 w
11 12 13 14 15 16 17 w
18 19 20 21 22 23 24 w
25 26 27 28 29 30 31 w
Search Events

Clark School        UMIACS   CMNS