academic year 2024/25

Academic Coordinator: Marino Miculan

Period: Annual

Duration: 28 hours

Program:

This course provides a rigorous introduction to the theoretical foundations of cybersecurity. We will explore fundamental concepts, models, and techniques to analyze the security of systems. The course emphasizes mathematical reasoning and formal methods to ensure a deep understanding of security principles.

• Introduction to Cybersecurity

• Security objectives and threats

• Security models and frameworks
• Cryptography
• Symmetric and asymmetric cryptography
• Hash functions
• Digital signatures and certificates
• Key management and distribution
• Security Protocols

• Authentication protocols

• Key exchange protocols

• Formal Methods for SecurityO

• Introduction to formal methods

• Applied π-calculus for modeling and analyzing security protocols
• Bisimulation and equivalence relations
• Security properties and verification

• Automated Tools for Security Analysis

• Introduction to ProVerif and Tamarin

• Using ProVerif and Tamarin for protocol analysis
• Case studies and practical applications
• Optional (Time Permitting): Computational Models and CryptoVerif

Teaching materials include scientific articles, slides, tool manuals, and tutorials.