Program
The workshop takes place on Thursday September 18, 2025 in the Room 302, afternoon (2:00 PM to 5:30 PM, local time).
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 regarding the workshop, please contact the general chair:
Design: TEMPLATED