Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks. - Indela, Soumya; Kulkarni, Mukul; Nayak, Kartik; Dumitras, Tudor (2016)