Internet of Trust
Menu
  • Home
  • About
  • Services
    • Cybersecurity Analysis
    • Evaluation Support
    • Scheme Definition
    • Certification
    • Trainings
  • R&D
  • News

ICCC 2020 – Formal models for high assurance: why and how?

16 November 2020

Carolina Lavatelli is presenting “Formal models for high assurance: why and how” by C. Lavatelli (Internet of Trust) and Guillaume Tétu (ANSSI), ICCC 2020, November 16-18 2020.

Archives

  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
Contact Us

+33 (0) 1 75 77 55 40

Internet of Trust SAS

77 avenue Niel

75017 Paris - FRANCE

Useful Links

Legal Notice

Privacy Policy

© 2023 Internet of Trust SAS. All rights reserved.