Charlotte Hoffmann, Pavel Hubcek, Chethan Kamath, Krzysztof Pietrzak
Browse the full PKC paper archive.