CyberSEA Research Lab Welcomes Maxime Buyse
The CyberSEA Research Lab has a new Visiting Scholar! Maxime Buyse is joining us from L’École Polytechnique Université Paris-Saclay in France for a summer internship. He will work on a project titled “Automated Theorem Proving for Distributed System Cybersecurity.”