Victor Sannier

According to our database, Victor Sannier authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Session Types for the Concurrent Composition of Interactive Differential Privacy.

Victor Sannier, Patrick Baillot, Marco Gaboardi

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

A Linear Type System for L^p-Metric Sensitivity Analysis.

Victor Sannier, Patrick Baillot

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024