Cryptographic Analysis of End to End Security Technologies

Project: Research

Cryptographic, Analysis, Security Technologies

Status	Finished
Effective start/end date	1/10/06 → 28/02/10

Authenticated-Encryption with Padding: A Formal Security Treatment
Paterson, K. G. & Watson, G. J., 2012, Cryptography and Security. Naccache, D. (ed.). Springer, Vol. 6805. p. 83-107 25 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Plaintext Recovery Attacks Against SSH
Albrecht, M. R., Paterson, K. G. & Watson, G. J., 2009, Proceedings of the 2009 30th IEEE Symposium on Security and Privacy: 17-20 May 2009 / Berkley, CA, US. IEEE Computer Society, p. 16-26 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment
Paterson, K. G. & Watson, G. J., 2008, SCN. Ostrovsky, R., Prisco, R. D. & Visconti, I. (eds.). Springer, Vol. 5229. p. 340-357 18 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Project Details