PSP '14- Proceedings of the 2014 International Workshop on Privacy & Security in Programming

Full Citation in the ACM Digital Library

SESSION: Keynote Address

Language-based capabilities

SESSION: Session 1: Software & Data

Statically typed string sanitation inside a python

Verifying security patches

Privacy integrated data stream queries