BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//INTERSCT. - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:INTERSCT.
X-ORIGINAL-URL:https://intersct.nl
X-WR-CALDESC:Events for INTERSCT.
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Amsterdam:20260319T130000
DTEND;TZID=Europe/Amsterdam:20260319T170000
DTSTAMP:20260301T211241Z
CREATED:20260301T210705Z
LAST-MODIFIED:20260301T211241Z
UID:5783-1773925200-1773939600@intersct.nl
SUMMARY:INTERSCT. Round Table on formal methods to achieve 'security-by-design
DESCRIPTION:Venue\nOn 19 March 2026\, from 13:00 until 17:00\, INTERSECT is organising another INTERSCT. Round Table\, this time on the use of formal methods during the design and development of high-tech systems that require a high level of confidence or even assurance with respect to the level of cyber security of the IoT Product being made. \nProgram\nAs software has become an integral part of the entire infrastructure and society at large\, cybersecurity has become a fundamental requirement of all software design instead of only being considered when designing critical components. Additionally\, the massive parallelization of software architectures\, largely driven by the proliferation of IoT\, means that the complexity of software systems has grown exponentially.  \nUnlike sequential systems\, where complexity grows linearly with the size of the software\, parallel systems experience an exponential explosion in state-space. This complexity makes it nearly impossible for human developers to manually account for every interleaving of events or combination of states\, thus creating a breeding ground for race conditions\, deadlocks\, and software vulnerabilities. \n Formal Methods\, Model-Driven Engineering (MDE)\, combined with code generation\, will provide significantly more secure software: \n\nModel-Driven Engineering techniques allow us to scale back the complexity of parallel systems. This reduction in complexity then in turn reduces the associated likeliness of introducing software vulnerabilities in the code.\nWith the usage of formal verification tools we give watertight guarantees about the model-based code deployed in vulnerable systems. For example\, model checking can be used to ensure that components strictly adhere to the communication protocol being used. Another example is the usage of theorem provers to give a mathematical proof of specific end-to-end requirements.\n\nBy generating the actual low level code\, we only have to ensure that the translation steps for the individual building blocks do not introduce vulnerability exploits instead of having to validate the entire code base. In turn\, having to not worry about these “low hanging fruit” vulnerabilities\, means that software engineers can redirect their focus to the much more complex and difficult to solve vulnerabilities of their software systems.\n\n Ultimately\, we demonstrate that by moving the source of truth from the code to the model\, we can build parallel systems that are not only easier to maintain but which inherently provide so called “Security by Design”. \n 
URL:https://intersct.nl/event/intersct-roundtable-20260319/
LOCATION:Technische Universiteit Eindhoven (MF)\, Groene Loper 5\, Eindhoven\, North Brabant\, NL-5612 AE\, Netherlands
CATEGORIES:conference
ATTACH;FMTTYPE=image/png:https://intersct.nl/wp-content/uploads/2025/05/Background-INTERSECT.png
END:VEVENT
END:VCALENDAR