PROOFS 2022

11th International Workshop on Security Proofs for Embedded Systems Leuven, September 22, 2022
  • Homepage
  • CfP
  • Committees
  • Submission
  • Registration
  • Program
  • Venue

  • 24.08.2022

    Registration is open. Join us in Leuven or online!

  • 23.08.2022

    The program is available.

  • 11.07.2022

    Deadline extension until July 29.

  • 01.07.2022

    PROOFS 2022 will finally take place as a hybrid event.

  • 21.05.2022

    The new website for PROOFS 2022 is going online.

Submission

Paper submission is closed. Please come back next year!

Important Dates

  • Submission (abstract):
    Friday, July 8 Friday, July 29
  • Submission (full paper):
    Friday, July 15 Friday, July 29
  • Notification:
    Friday, August 5 Friday, August 19
  • Final version due:
    Friday, September 16
  • PROOFS workshop:
    Thursday, September 22

Contact

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

  • Ulrich Kühne (general chair)

Sponsors

Institut Mines-Telecom
Telecom Paris
        

Previous Events

  • 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