We stand with Ukraine  

Yani Ziani

Orcid: 0009-0000-8540-1273

According to our database1, Yani Ziani authored at least 5 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities.
[BibTeX]
[DOI]
Yani Ziani
,
Téo Bernier
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
Formal Aspects Comput., December, 2025

Formal verification of trusted layers of software: application to the TPM Software Stack. (Vérification formelle de couches de confiance dans les logiciels: application à la TPM Software Stack).
[BibTeX]
[DOI]
Yani Ziani
PhD thesis, 2025

2024
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack.
[BibTeX]
[DOI]
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
Proceedings of the Tests and Proofs - 18th International Conference, 2024

Combining Deductive Verification with Shape Analysis.
[BibTeX]
[DOI]
Téo Bernier
,
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023
Towards Formal Verification of a TPM Software Stack.
[BibTeX]
[DOI]
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
,
Téo Bernier
Proceedings of the iFM 2023 - 18th International Conference, 2023


  Loading...