Venue
PROOFS will be collocated with CHES. The workshop will happen on September 18, 2025 in Kuala Lumpur, Malaysia.
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