Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2025 - (1)

  • Revue internationale à comité de lecture - (1)

    • Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities
      Auteur(s) : Yani ZIANI, Téo BERNIER, Frédéric LOULERGUE, Nikolai KOSMATOV, Daniel GRACIA PEREZ
      

      HAL : 5095685

• 2024 - (3)

  • Communications sans actes - (1)

    • Combiner la vérification déductive avec l'analyse de forme
      Auteur(s) : Téo BERNIER, Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV
      

      HAL : 4622131

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
      Auteur(s) : Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV, Daniel Gracia PÉREZ
      

      HAL : 4637532

    • Combining Deductive Verification with Shape Analysis
      Auteur(s) : Téo BERNIER, Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV
      

      HAL : 4354615

• 2023 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Towards Formal Verification of a TPM Software Stack
      Auteur(s) : Yani ZIANI, Frédéric LOULERGUE, Téo BERNIER, Nikolai KOSMATOV, Daniel Gracia PÉREZ
      

      HAL : 4180004