Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks.

Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

Browse the full OOPSLA paper archive.