Safety envelope for security. - Ashish Tiwari 001; Bruno Dutertre; Dejan Jovanovic; Thomas de Candia; Patrick Lincoln; John M. Rushby; Dorsa Sadigh; Sanjit A. Seshia (HiCoNS, 2014)