2019

Verification and Validation of IoT - VESSEDIA H2020 Webinar
9^th of December 2019, online
The VESSEDIA team invited to the “Verification and Validation of IoT" webinar. The goal was to present the VESSEDIA project itself and its results in Verification, Validation, Certification and Security Evaluation of medium-critical IoT.

ISO JTC1/SC7/WG4 meeting
4^th - 8^thof November 2019, Saclay, France
WG4 meeting for improving the ISO 23643 standard and integrating comments. Partner CEA and Partner TUAS participated.

Iris Workshop
28^th of October - 1^st of November 2019, Aarhus, Denmark
KUL presented the I/O verification approach developed as part of the VESSEDIA project.

IoT Solutions Conference
29^th - 31^stof October 2019, Barcelona, Spain
Partner TUAS and Partner CEA attended the industry event.

Formal Methods Week
7^th - 11^thof October 2019, Porto, Portugal
Partner CEA gave a tutorial on formal verification of IoT Software with Frama-C.

F-IDE (Formal Integrated Development Environment) Workshop
7^th of October 2019, Porto, Portugal
Partner CEA was co-chair of the program committee and participated to the animation of the workshop. Many presentations and discussions were very relevant for VESSEDIA (notably WP3).

International Common Criteria Conference
1^st - 3^rdof October 2019, Singapore
Partner TUAS and Partner SLAB represented the VESSEDIA project and gave a presentation on the SCL security evaluation scheme and the the Verified in Europe conformity assessment scheme.

Hardwear.io
26^th -27^thof Deptember 2019, Hgue, Netherlands
Conference related to hardware security with workshops and presentations about security and hardware penetration testing. Partner SLAB participated.

Workshop with Certification Team at Dassault (from Bordeaux-Mérignac premises)
16^th - 17^th of September 2019, Saint-Cloud, , France
Presentation and tutorials on VESSEDIA tools, addressed to DA Certification Team (involved into Eurocae/SAE Working Groups on standardisation and Formal Methods usage in certification process). The Certification Team is likely to present this material to other experts in its community, in the future.

ECOOP 2019
15^th - 19^th of July 2019, London, UK
Partner KUL presented the accepted paper "Transferring obligations through synchronizations". In addition to that Bart Jacobs from KUL gave a talk at the summer school.

AFADL 2019
12^th - 14^th of June 2019, Toulouse, France
Partner FOKUS participated in the event and represented VESSEDIA.

Frama-C & SPARK Day 2019
3^rd of June 2019, Paris, France
Partner CEA co-organised the conference and partners FOKUS and DA also participated in the event and represented VESSEDIA.

SYRCoSE 2019
29^th - 31^st of Mai 2019, Saratov, Russia
Partner FOKUS presented the VESSEDIA project and previous publicly funded projects in the field of static analysis/formal verification.

Espoo (Finland) ISO/IEC JTC 1
19^th-24^th of May 2019, Aalto University in Otaniemi, Espoo, Finland
Partner TUAS partcipated in the ISO standardisation workshop.

Lorentz Center Workshop on Effective Verification at Universiteit Leiden
15^th May 2019 Leiden, Netherlands
At this workshop partner KUL did a demo on VeriFast.

THE ROAD AHEAD FOR A COGNITIVE COMPUTING PLATFORM SUPPORTING A UNIFIED APPROACH TOWARDS PRIVACY, SECURITY AND SAFETY (PSS) OF IOT SYSTEMS
9^th May 2019 Dublin, Ireland 
COORGANISED BY H2020 CHARIOT AND VESSEDIA PROJECTS 

34th ACM SIGAPP Symposium on Applied Computing (SAC 2019)
08^th - 12^th of April 2019, Limassol, Cyprus
Partner INRIA and partner CEA gave a tutorial on the use of Frama-C for verification of IoT software and presented an accepted paper.
Paper: https://www.sigapp.org/sac/sac2019/index.html

TACAS (Tools and Algorithms for Construction and Analysis of Systems)
8^th - 10^th of April 2019, Prague, Czech Republic
CEA presented an accepted paper.

France-Japan Cybersecurity Workshop
23^rd - 25^th of January 2019, Kyoto, Japan
Partner CEA presented the work on MetACSL at the workshop.

Kyber Valiot Project
10^th of April 2019, Salo, Finland
TUAS held a workshop at the place of the event, distributed some brochures and had some discussions with companies interested in Cybersecurity.

Security Day
5^th of March 2019, Turku, Finland
Partner TUAS participated in this event which was important for the visibility to industries on VESSEDIA outcomes towards R&D in security (Ericsson, KPMG). .

International Cybersecurity Forum 2019
22^th - 23^rd of January 2019, Lille, France
INRIA and CEA gave a Master Class on the use of Frama-C for verification of IoT software.

46th ACM SIGPLAN Symposium on Principles of Programming Languages
13^th - 19^th of January 2019
Partner KU Leuven participated.

Software Quality Days 2019
15^th - 18^th of January 2019, Vienna, Austria
Partner TUAS particpated in the Software Quality Days 2019 in Vienna. The focus of the event was on the complexity and challenges of Software Engineering and Software Quality.

2018

Halfway Through the Digital Single Market Strategy: “Bedrock of Trust” or illusion? Conference
13^th - 14^th of December 2018, Lille, France
Partner TUAS participated in this conference which was related to TRUESSEC project.

TRUESSEC Final Symposium
12^th of December 2018, Lille, France
Partner TUAS participated in the TRUESSEC Final Symposium. TRUESSEC is a Horizon 2020 project with focus on trustworthiness, security and privacy, a complementary scope to VESSEDIA

ISO SC7 / Workgroup 4 / Interim Meeting
5^th - 9^th of November 2018, Seoul, South Korea
TUAS presented the latest version of the ISO standard draft.

IEEE International Symposium of Software Reliability Engineering (ISSRE)
15^th - 18^th of October 2018, Memphis, TN, USA
Partner INRIA participated and presented a tutorial called "Towards Reliable Things: Formal Verification of IoT Software with Frama-C".

Workshop of the CHARIOT project (780075)
12^th of October 2018, Rome, Italy
The VESSEDIA project was invite to give two presentations at the 1st CHARIOT H2020 project workshop. Partner CEA presented the Technical Overview of the VESSEDIA project and its Research Challenges. Partner TUAS gave a presentation on “Standardization of IoT software safety and security verification tools”.

IEEE Cybersecurity Development Conference (SecDev)
30^th - 2^nd of October 2018, Cambridge, MA, USA
Partner CEA participated and presented a tutorial called "Secure Your Things: Secure Development of IoT Software with Frama-C".

Presentation of the research projects lead by AMOSSYS' ITSEF lab to the ANSSI
September 2018, Rennes, France
For its ITSEF activities, AMOSSYS presented to the ANSSI the VESSEDIA project and how the results may be used to enhance security of evaluation done in its ITSEF lab.

InnoTrans 2018
18^th - 21^st of September 2018, Berlin, Germany
Partner FOKUS presented its portfolio for quality assurance for safety and security of railway IT systems.

The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018)
16^th - 20^th of July 2018, Orléans, France
Partner Inria participated and presented a tutorial called "A Lesson on Verification of IoT Software with Frama-C"

IFIP WG 1.9/2.15 (Software Verification) meeting
13^th - 14^th of July 2018, Oxford, UK
Partner KU Leuven participated in the meeting of academic and industrial computer scientists working in the area of software verification.

Sound Static Analysis for Security Workshop
27^th - 28^th of June 2018, Gaithersburg, MD, USA
Partner CEA organised together with Adacore and NIST the 2 days’ workshop.

12th International Conference on Tests & Proofs (TAP 2018)
17^th - 29^th of June 2018, Toulouse, France
Partner INRIA presented the article submitted to the 12th International Conference on Tests & Proofs Ghosts for Lists: from Axiomatic to Executable Specifications (Short Paper)

AFADL 2018 - Approches Formelles dans l'Assistance au Développement de Logiciels
13^th - 15^th of June 2018, Grenoble, France
Partner INRIA presented the article submitted to the Tenth NASA Formal Methods Symposium.

ZINC - We are not another conference!
30^th May - 31^st of June 2018, Novi Sad, Serbia
Partner INRIA participated and presented a tutorial called "Towards Secure Things, or How to Verify IoT Software with Frama-C.

ICSE 2018: 40^th International Conference on Software Engineering
27^th May - 3^rd of June 2018, Gothenburg, Sweden
Partner CEA participated at the event.

RESSI 2018: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information
23^rd - 25^th of May 2018, La Bresse, France
Partner CEA participated and presented the VESSEDIA project.

DigiHALL Days 2018 
22^nd May 2018, Paris, France
Partner CEA presented VESSEDIA and the 6LowPAN application as well as its security analysis using Diversity and Frama-C at the DigiHALL Days 2018.

First Cyberwatching.eu Concertation meeting
26^th April 2018, Brussels, Belgium
Partner CEA participated at the event.

10^th NASA Formal Methods Symposium (NFM 2018)
17^th - 19^th of April 2018, Virginia, USA
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
VESSEDIA partner INRIA participated in the 10th NASA Formal Methods Symposium with the article “Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C”

International Conference on Embedded Wireless Systems and Networks
14^th - 16^th of February 2018, Madrid, Spain
Partner INRIA participated at the 2nd Workshop on Recent advances in secure management of data and resources in the IoT (RED-IOT).

2017

SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications
7^th - 9^th of June 2017, Rennes, France
Partner DA presented a paper “Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures”

Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada
30^th of May 2017, Paris, France
VESSEDIA partners participated at the event.