UPM / IMDEA Track in Software Development through Rigorous Methods

• Manuel Carro, Julio Mariño, Clara Benac, Lars-Åke Fredlund
• Scientific collaboration from IMDEA: Gilles Barthe, Juan Caballero, Boris Köpf

4 credits (ECTS)

Knowledge of operating systems. An introductory course in computer security or operating systems is desired but not required. Basic knowledge on number theory and networking is a plus.

Not yet available.

This course provides the student with a broad understanding of the common notions in computer security. In addition to providing background on general security concepts, the course describes specialized topics in the areas of cryptography as applied in modern systems; systems security including operating system and network security; and software security including common coding pitfalls, vulnerabilities, and defenses.

1. General security concepts (2 sessions)
   • Security properties
   • Security layers, principles
2. Applied cryptography (5 sessions)
   • Symmetric-key cryptography
   • Public-key cryptography
   • Signatures, MACs
   • Security protocols
   • Cryptographic attacks
3. System security (4 sessions)
   • Operating systems security
   • Trusted computing
   • Network security
4. Software security (5 sessions)
   • Vulnerabilities
   • Defenses
   • Malware

Course evaluation will be a weighted average of different items, which may include: a practical exercise where students will apply the learned concepts by performing an analysis of a real-world security scenario or implementing a security defense, a final exam where students will demonstrate their understanding of theoretical concepts, small exercises for any of the course sections, and the student's participation in the course.

• Counter Hack Reloaded: A Step-by-Step Guide to Computer Attacks and Effective Defenses. Edward Skoudis and Tom Liston. Prentice Hall, Second edition (January 2006).
• Security Engineering: A Guide to Building Dependable Distributed Systems. Ross J. Anderson. Wiley, Second edition (April 2008). http://www.cl.cam.ac.uk/%7Erja14/book.html.
• Software Security: Building Security In. Gary McGraw. Addison-Wesley Professional (February 2006).
• Applied Cryptography: Protocols, Algorithms, and Source Code in C. Bruce Schneier. Wiley; 2nd edition (October 18, 1996)
• Crypttool http://www.cryptool.org/.

Back to the initial page
Go to the IMDEA Software Institute page