Submission
Please submit your paper via easychair.
Accepted Papers
The accepted paper presentations can be found on our GitHub repository.
PROOFS 2025
13th International Workshop on Security Proofs for Embedded Systems Kuala Lumpur, Malaysia, September 18, 2025.Contact
PROOFS 2025 is being organised by Télécom Paris. For any further information, please contact the general chair:
Design: TEMPLATED