David Swasey

Registered user since Fri 27 Oct 2017

Name: David Swasey

Country: Germany

Affiliation: MPI-SWS

Personal website: https://people.mpi-sws.org/~swasey/

Research interests: Programming Languages, Security and Privacy, Verification

Contributions

PriSC 2018Author of Robust Hyperproperty Preservation for Secure Compilation within the PriSC 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile