Verification and Validation of IoT - VESSEDIA H2020 Webinar
9th 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
4th - 8thof November 2019, Saclay, France
WG4 meeting for improving the ISO 23643 standard and integrating comments. Partner CEA and Partner TUAS participated.

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

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

Formal Methods Week
7th - 11thof 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
7th 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
1st - 3rdof 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.

26th -27thof 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)
16th - 17th 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
15th - 19th 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
12th - 14th of June 2019, Toulouse, France
Partner FOKUS participated in the event and represented VESSEDIA.

Frama-C & SPARK Day 2019
3rd 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
29th - 31st 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
19th-24th 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
15th May 2019 Leiden, Netherlands
At this workshop partner KUL did a demo on VeriFast.

9th May 2019 Dublin, Ireland 

34th ACM SIGAPP Symposium on Applied Computing (SAC 2019)
08th - 12th 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)
8th - 10th of April 2019, Prague, Czech Republic
CEA presented an accepted paper.

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

Kyber Valiot Project
10th 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
5th 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
22th - 23rd 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
13th - 19th of January 2019
Partner KU Leuven participated.

Software Quality Days 2019
15th - 18th 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.


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

TRUESSEC Final Symposium
12th 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
5th - 9th of November 2018, Seoul, South Korea
TUAS presented the latest version of the ISO standard draft.

IEEE International Symposium of Software Reliability Engineering (ISSRE)
15th - 18th 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)
12th 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)
30th - 2nd 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
18th - 21st 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)
16th - 20th 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
13th - 14th 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
27th - 28th 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)
17th - 29th 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
13th - 15th of June 2018, Grenoble, France
Partner INRIA presented the article submitted to the Tenth NASA Formal Methods Symposium.

ZINC - We are not another conference!
30th May - 31st 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: 40th International Conference on Software Engineering
27th May - 3rd 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
23rd - 25th of May 2018, La Bresse, France
Partner CEA participated and presented the VESSEDIA project.

DigiHALL Days 2018 
22nd 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
26th April 2018, Brussels, Belgium
Partner CEA participated at the event.

10th NASA Formal Methods Symposium (NFM 2018)
17th - 19th 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
14th - 16th 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).


SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications
7th - 9th 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
30th of May 2017, Paris, France
VESSEDIA partners participated at the event.