Loading Events

« All Events

  • This event has passed.

CIS Seminar: ” Exterminating bugs in real systems”

March 2 at 3:00 PM - 4:00 PM

Software is everywhere, and almost everywhere, software is broken. Some bugs just crash your printer; others hand an identity thief your bank account number; still others let nation-states spy on dissidents and persecute minorities.

This talk outlines my work preventing bugs using a blend of programming languages techniques and systems design. First, I’ll talk about securing massive, security-critical codebases without clean slate rewrites. This means rooting out hard-to-find bugs—as in Sys, which scales symbolic execution to find exploitable bugs in systems like the twenty-million line Chrome browser. It also means proving correctness of especially vulnerable pieces of code—as in VeRA, which automatically verifies part of the Firefox JavaScript engine. Finally, I’ll discuss work on stronger foundations for new systems—as in CirC, a recent project unifying compiler infrastructure for program verification, cryptographic proofs, optimization problems, and more.

Fraser Brown

Computer Science Department, Stanford University

Fraser Brown is a PhD student at Stanford advised by Dawson Engler, occasional visiting student at UCSD with Deian Stefan, and NSF graduate research fellowship recipient. She works at the intersection of programming languages, systems, and security, and holds an undergraduate degree in English from Stanford.

Details

Date:
March 2
Time:
3:00 PM - 4:00 PM
Event Tags:
Website:
https://www.cis.upenn.edu/events/

Organizer

Computer and Information Science
Phone:
215-898-8560
Email:
cis-info@cis.upenn.edu
Website:
http://www.cis.upenn.edu

Venue

Zoom – Email CIS for link
cherylh@cis.upenn.edu + Google Map