PROOFS 2026

14th International Workshop on Security Proofs for Embedded Systems Antalya, Turkey
  • Homepage
  • CfP
  • Committees
  • Submission
  • Registration
  • Program
  • Venue

  • 03.02.2026

    The submission deadline is March 15, 2026.

  • 03.02.2026

    The new website for PROOFS 2026 is going online.

Registration

To be updated.

Important Dates

  • Submission (Full paper):
    15 March 2026
  • Notification:
    17 April 2026
  • Final version due:
    30 April 2026

Contact

PROOFS 2026 is being organised by Télécom Paris. For any further information, please contact the general chair:

Sponsors

Institut Mines-Telecom
Telecom Paris
        

Previous Events

  • PROOFS 2022 (Leuven)
  • PROOFS 2021 (www)
  • PROOFS 2020 (www)
  • PROOFS 2019 (Atlanta)
  • PROOFS 2018 (Amsterdam)
  • PROOFS 2017 (Taipei)
  • PROOFS 2016 (Santa Barbara)
  • PROOFS 2015 (Saint-Malo)
  • PROOFS 2014 (Busan)
  • PROOFS 2013 (Santa Barbara)
  • PROOFS 2012 (Leuven)
Design: TEMPLATED