
Maxime Buyse
Email: | maxime.buyse@polytechnique.edu |
LinkedIn: | Connect |
Visiting Scholar (L’École Polytechnique Université Paris-Saclay)
- Project Topic: Automated Theorem Proving for Distributed System Cybersecurity
- Active in CyberSEA: April 2019–August 2019