Yani Ziani

According to our database, Yani Ziani authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack.

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.

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.

Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier

Proceedings of the iFM 2023 - 18th International Conference, 2023