Level 2 · M.Sc
MSc Advanced Computer Security
Security · Live · v0
Doctoral security research — formal threat modelling, systems security at depth, and frontier defensive research.
- Path type
- Security
- Requirements
- MSc Computer Security
- Enrollment
-
€39.90
- Deadline
- Next cohort starts 2027-09-06 (AY 2027/28)
- Length
- ~1 year · 42 phases
- Language
- English · Español
- Content freshness
- Curriculum updated 2026-08-22 · content rev 6a493f1a
- Cortex Credits (CC)
-
126 CC
· 421 CC across all tiers of this programme
What are Cortex Credits? - Syllabus
-
View the phase syllabus
- Foundations & research-grade lab hygiene
- From practitioner to researcher
- The hardened research range
- Security-research methodology & the literature
- Adversary modeling & formal threat models
- Measurement & evaluation in security
- The modern allocator, deep
- Advanced heap exploitation
- Advanced information disclosure
- Advanced control-flow hijacking
- Code reuse at scale
- Modern mitigations & their limits
- Bypassing advanced mitigations
- Linux kernel exploitation (intro)
- Exploit reliability & weaponization engineering
- Static program analysis foundations
- Taint analysis & abstract interpretation
- Symbolic & concolic execution
- Coverage-guided fuzzing, deep
- Structure-aware & grammar-based fuzzing
- Automated triage & root-cause analysis
- Hybrid fuzzing & directed analysis
- The vulnerability-research pipeline
- Advanced static reversing
- Advanced dynamic analysis & emulation
- Anti-analysis, deep
- Malware techniques & capability analysis (lab-only)
- C2 & adversary-emulation design (lab range)
- Memory forensics, deep
- Binary similarity, provenance & attribution reasoning
- Practical cryptanalysis of the stack's crypto
- Side-channel & timing attacks, applied
- Protocol attacks
- Randomness & key-management failures
- Applied formal reasoning for protocols
- Cryptographic misuse detection
- Advanced web & HTTP attacks
- Advanced lateral movement & pivoting
- Identity & auth-infrastructure attacks
- Container & isolation-escape reasoning
- Supply-chain & build-pipeline attacks (lab)
- Network detection engineering
- Enrolment prerequisites
-
- A verified account and admissions-committee approval.
- Recommended path: MSc Computer Security (advisory, not blocking).
What changed
Every release of this programme, newest first.
- v0 Pilot Wave A backfill: v0 pilot baseline
Professor: Vacancy available
Sign in to request enrolment