Professor
CSF
Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
EuroSys
Proceedings of the 10th European Conference on Computer Systems (EuroSys '15)
ESOP
Proceedings of the 24th European Symposium on Programming (ESOP '15)
The Computing Research Repository (CoRR)
CSF
Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF '14)
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security
CAV
Proc. 26th International Conference on Computer Aided Verification (CAV 2014)
Proceedings of the 4th ACM conference on Data and application security and privacy (CODASPY'14)
ACM Transactions on Programming Languages and Systems