[madPL] PL Seminar Tomorrow

[JOHN CYPHERT <jcyphert@xxxxxxxx>]

Hi Everyone,

We will be having a PL seminar tomorrow Oct 30, at 1pm. Our own Zach Susag will lead a discussion on the paper Liquid Information Flow Control.

Here is the abstract for the paper:

We present Lifty, a domain-specific language for data-centric applications that manipulate sensitive data. A

Lifty programmer annotates the sources of sensitive data with declarative security policies, and the language

statically and automatically verifies that the application handles the data according to the policies. Moreover,

if verification fails, Lifty suggests a provably correct repair, thereby easing the programmer burden of

implementing policy enforcing code throughout the application.

The main insight behind Lifty is to encode information flow control using liquid types, an expressive yet

decidable type system. Liquid types enable fully automatic checking of complex, data dependent policies,

and power our repair mechanism via type-driven error localization and patch synthesis. Our experience

using Lifty to implement three case studies from the literature shows that (1) the Lifty policy language is

sufficiently expressive to specify many real-world policies, (2) the Lifty type checker is able to verify secure

programs and find leaks in insecure programs quickly, and (3) even if the programmer leaves out all policy

enforcing code, the Lifty repair engine is able to patch all leaks automatically within a reasonable time.

See you tomorrow,
John

Join Zoom Meeting
https://uwmadison.zoom.us/j/97079120314?pwd=UFN3c3lDcWlieWdqdjVUNnk4aVZXUT09

Meeting ID: 970 7912 0314
Passcode: 790380
One tap mobile
+19292056099,,97079120314#,,,,,,0#,,790380# US (New York)
+13017158592,,97079120314#,,,,,,0#,,790380# US (Germantown)

Dial by your location
        +1 929 205 6099 US (New York)
        +1 301 715 8592 US (Germantown)
        +1 312 626 6799 US (Chicago)
        +1 669 900 6833 US (San Jose)
        +1 253 215 8782 US (Tacoma)
        +1 346 248 7799 US (Houston)
Meeting ID: 970 7912 0314
Passcode: 790380
Find your local number: https://uwmadison.zoom.us/u/aiMtYuleM

Join by SIP
97079120314@xxxxxxxxxxx

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada)
207.226.132.110 (Japan)
Meeting ID: 970 7912 0314
Passcode: 790380