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)

    Search results