PROOFS 2023

12th International Workshop on Security Proofs for Embedded Systems Prague, September 15, 2023 (Virtual Event)
  • Homepage
  • CfP
  • Committees
  • Submission
  • Registration
  • Program
  • Venue

  • 31.05.2023

    The submission deadline is July 7 (abstract due on July 3)

  • 20.05.2023

    The new website for PROOFS 2023 is going online.

Registration

The registration has not opened yet.

Important Dates

  • Submission (abstract):
    18 July 2023
  • Submission (full paper):
    21 July 2023
  • Notification:
    21 August 2023
  • Final version due:
    4 September 2023
  • PROOFS workshop:
    Friday September 15 (Virtual Event)

Contact

PROOFS 2023 is being organised by Télécom Paris. For any further information regarding the workshop, 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