Louis-Emile Ploix
Orcid: 0009-0002-6197-5787
According to our database1,
Louis-Emile Ploix authored at least 2 papers
between 2025 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Proceedings of the 19th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2026, Saarbrücken, Germany, 30 June 2026, 2026
2025
Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor.
CoRR, February, 2025