Search results

• Active

  KTP - KubeSec-AFM: Kubernetes Security Assurance through Formal Methods - Industry Contribution

  Viganò, L. (Primary Investigator) & Pierazzi, F. (Co-Investigator)

  Controlplane

  2/12/2024 → 1/12/2026

  Project: Research

• KTP - KubeSec-AFM: Kubernetes Security Assurance through Formal Methods - Innovate Funding

  Viganò, L. (Primary Investigator) & Pierazzi, F. (Co-Investigator)

  TSB Technology Strategy Board

  2/12/2024 → 1/12/2026

  Project: Research

• UNMASKED: The Theatre of Inauthenticity

  Viganò, L. (Primary Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  1/11/2024 → 30/04/2025

  Project: Research

• Enhancing Deception Analysis with Storytelling AI

  Viganò, L. (Primary Investigator) & Sarkadi, S. (Co-Investigator)

  Royal Academy of Engineering

  1/12/2022 → 30/11/2025

  Project: Research

• SERMAS: Socially-acceptable Extended Reality Models And Systems

  Viganò, L. (Primary Investigator) & Celiktutan, O. (Co-Investigator)

  TSB Technology Strategy Board

  1/10/2022 → 30/09/2025

  Project: Research