Élise Klein (Pesto), défendra sa thèse intitulée Formal Verification in Practice: Real-World Case Study and Enhanced Support for AC Operators in Tamarin . La soutenance aura lieu en public le jeudi […]