Fellah, A., & Mullins, J. Admissible Interference by Typing for Cryptographic Protocols [Paper]. Information and Communications Security. External link