Validation of Security Properties in Network Systems

  • Nielsen, Christoffer Rosenkilde (PhD Student)
  • Nielson, Flemming (Supervisor)
  • Fischer, Paul (Examiner)
  • Mycroft, Alan (Examiner)
  • ViganĂ², Luca (Examiner)
  • Nielson, Hanne Riis (Main Supervisor)


    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

    Arts & Humanities