The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.
Conferences & Workshops
F-IDE (Formal Integrated Development Environment) Workshop
29th - 31stof October 2019, Porto, Portugal
Partner CEA is co-chair of the program committee.
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.
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.
THE ROAD AHEAD FOR A COGNITIVE COMPUTING PLATFORM SUPPORTING A UNIFIED APPROACH TOWARDS PRIVACY, SECURITY AND SAFETY (PSS) OF IOT SYSTEMS
9th May 2019 Dublin, Ireland
COORGANISED BY H2020 CHARIOT AND VESSEDIA PROJECTS
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.
TACAS (Tools and Algorithms for Construction and Analysis of Systems)
8th - 10th of April 2019, Prague, Czech Republic
CEA presented an accepted paper.
International Cybersecurity Forum 2019
22th - 23th 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.
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.