BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Events - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Events
X-ORIGINAL-URL:https://events.ucsc.edu
X-WR-CALDESC:Events for Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20240310T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20241103T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20251208T093000
DTEND;TZID=America/Los_Angeles:20251208T104500
DTSTAMP:20260405T144240
CREATED:20251117T202808Z
LAST-MODIFIED:20251119T192125Z
UID:10005162-1765186200-1765190700@events.ucsc.edu
SUMMARY:CSE Colloquium: Making Systems Secure with Information Flow
DESCRIPTION:Presenter: Andrew Myers\, Cornell University\n\nAbstract:\nModern civilization depends on complex\, interconnected software systems that must safeguard trustworthy or private data. We have ever-growing mountains of code yet lack principled ways to build large systems that are secure. What is missing is a way to securely build these systems compositionally: module by module and layer by layer. Information flow control\, enforced throughout software and hardware\, offers a plausible way to achieve compositional security\, and is increasingly being used by industry. I describe how my research group has incorporated information-flow security into various languages and systems: hardware architectures resilient to timing and speculation attacks\, smart contracts\, and automatically synthesized cryptographic and distributed protocols. Information flow is inherently compositional and makes possible strong\, provable security guarantees that can be connected to cryptographic security definitions. Importantly\, it also guides developers during the design process\, exposing security-critical decisions up front. \nBio:\nAndrew Myers is the Class of 1912 Professor of Engineering in the Department of Computer Science at Cornell University. He received his Ph.D. in Electrical Engineering and Computer Science from MIT\, advised by Barbara Liskov. His research interests include programming languages\, computer security\, and distributed and persistent programming systems. His work on computer security has focused on practical\, sound\, expressive languages and systems for enforcing information security. Myers is an ACM Fellow and has authored several award-winning papers. He currently serves as the chair of the ACM SIGPLAN Executive Committee. \nHosted By: Professor Mohsen Lesani \nLocation: Engineering 2\, E2-180 \nZoom: https://ucsc.zoom.us/j/97682837116?pwd=WZBzhJY4p7rTZshqglmOs6xBtBasbE.1&jst=3
URL:https://events.ucsc.edu/event/cse-colloquium-making-systems-secure-with-information-flow/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Lectures & Presentations,Seminars
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2025/11/18aug-andrew-cropped.jpeg
GEO:37.0009723;-122.0632371
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Engineering 2 Engineering 2 1156 High Street Santa Cruz CA 95064;X-APPLE-RADIUS=500;X-TITLE=Engineering 2 1156 High Street:geo:-122.0632371,37.0009723
END:VEVENT
END:VCALENDAR