You need to activate javascript for this site.
Menu Conteúdo Rodapé
  1. Home
  2. Courses
  3. Computer Science and Engineering
  4. Information Security

Information Security

Code 11487
Year 1
Semester S2
ECTS Credits 6
Workload PL(30H)/T(30H)
Scientific area Informatics
Entry requirements Knowledge of programming, mathematics and statistics.
Learning outcomes The objectives of this UC are to introduce the concepts and mechanisms for Information Security and develop the ideas more profoundly. The UC aims to give the student a solid theoretical and practical foundation about modern cryptography. The UC aims to expose the student to the advanced concepts of modern cryptography studying modern crypt primitives and security protocols focusing on information security. Other aims are to study vulnerabilities in crypto primitives and protocols using formal analyse and modelling.
Syllabus Introduction to cryptography with a classic and historical approach.. Perfect security of a cipher. The Vernam cipher (one time pad.). Shannon theorems Symmetric encryption (private key) Concrete security, computational security and semanticAL Pseudo-random generators. Flux ciphers. CPA ciphers, MAC, Hash functions. Constructions of block ciphers (DES, AES). Certified Ciphers Theory of numbers and groups. Merkle Puzzles e Diffie-Hellman Asymmetric ciphers (public key) (RSA and El-Gamal). Digital signatures Advanced Encryption Systems: cryptographic of elliptical curves, homomorphic cryptography and encryption based on lattices. Protocols for authentication and zero knowledge protocols. Case studies. Syntax and notation for describing information security protocols. Formal verification Tools for security protocols and cryptographic primitives.
Main Bibliography Introduction to Modern Cryptography: Principles and Protocols, Jonathan Katz, Yehuda Lindell, Chapman & Hall, 2nd Edition, 2015. Protocols for Authentication and Key Establishment, Colin Boyd, Anish Mathuria, 2003 ISBN: 978-3-642-07716-6, Springer Handbook of Applied Cryptography, Menezes, Oorschot and Vanstone, 1997, CRC Press A Classical Introduction to Cryptography Applications for Communications Security, Serge Vaudenay, Springer, 2005. A Classical Introduction to Cryptography Exercise Book, Thomas Baigneres, Pascal Junod, Yi Lu, Jean Monnerat, Serge Vaudenay, Springer, 2005. A Course in Number Theory and Cryptography (2nd Ed.), Neal Koblitz, Springer-Verlag’s Graduate Texts in Mathematics, 1994.
Teaching Methodologies and Assessment Criteria teaching consists of written tests and programming exercises as well as one group project.
Language Portuguese. Tutorial support is available in English.
Last updated on: 2014-08-07

The cookies used in this website do not collect personal information that helps to identify you. By continuing you agree to the cookie policy.