Abstract Interpretation for Secure Information Flow

  • Vasilikos, Panagiotis (PhD Student)
  • Nielson, Flemming (Supervisor)
  • Hansen, Michael Reichhardt (Examiner)
  • ViganĂ², Luca (Examiner)
  • Aceto, Luca (Examiner)
  • Nielson, Hanne Riis (Main Supervisor)

Search results