This week I attended an insightful course: “Security: From Basic Concepts and Techniques to Formal Models and Methods,” held by Dr Antonio Cerone (United Nations University — IIST) and Dr Gabriel Ciobanu (Institute of Computer Science, Romanian Academy).
It covered from basics concepts (confidentiality, integrity and availability), and techniques (cryptography, key management and security protocols), to advanced topics such as process algebra, CCS, the π-calculus and variants, and a case study of the Needham-Schroeder protocol, the Lowe attack and it’s fix, both expressed in Spi calculus, providing the proof of its authentication and secrecy.