# Event Details - **Event Name**: INTERSCT. Round Table on IoT Product Security - **Event Start and End Date**: Thu, 19 Mar, 2026 at 01:00 pm – Thu, 19 Mar, 2026 at 05:00 pm - **Event Description**: Join us at INTERSCT. Round Table on IoT Product Security for a deep dive into the world of innovative (formaI) methods for IoT securityAbout this EventPurposeThe digitalisation of our society, including our industry, is progressing rapidly and more and more products are becoming connected using the Internet. As software has become an integral part of the entire infrastructure and society at large, cyber security 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. Unlike 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.Formal Methods, Model-Driven Engineering (MDE), combined with code generation, will provide significantly more secure software:Model-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. With 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.By 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.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".ProgramThe program starts at 13:00 with an informal meeting followed at 14:00 by an introduction to the use of formal methods for attaining high confidence/assurance on the level of cyber security during the design and development of high tech systems by Bert de Jong and Flip van Spaendonck of Verum Software Tools followed by a short pitch by the participants. The program ends at 17:00. - **Event URL**: https://allevents.in/eindhoven/intersct-round-table-on-iot-product-security/100001984232188891 - **Event Categories**: business, sports, meetups, nonprofit - **Interested Audience**: - total_interested_count: 0 ## Ticket Details - **Ticket URL**: https://consumer.pxf.io/c/1339408/3151484/39691?partnerpropertyid=1191892&MediaPartnerPropertyId=1191892&svlink=14105511&level=1&u=https%3A%2F%2Fwww.eventbrite.com%2Fe%2Fintersct-round-table-on-iot-product-security-tickets-1984232188891 - **Ticket Price Range**: min: 0, max: 0, currency: USD ## Event venue details - **city**: Eindhoven - **state**: NB - **country**: Netherlands - **location**: Eindhoven University of Technology - **lat**: 51.4468853 - **long**: 5.4874078 - **full address**: Eindhoven University of Technology, TU/e Science Park, Building 5, Eindhoven, Netherlands ## Event Organizer details - **affiliate_id**: 10 - **organizer**: INTERSECT Project (https://allevents.in/org/intersect-project/20294515) ## Event gallery - **Alt text**: banner - **Image URL**: https://cdn-az.allevents.in/events9/banners/3c67c4913fc9bb11cf75b3e984db4878714ea4069e3cb26d09af57beca2df3f7-rimg-w1200-h675-dc455660-gmir.jpg?v=1772726099 - **Alt text**: thumbnail - **Image URL**: https://cdn-az.allevents.in/events9/banners/07174dc952bc3f6ea755b136c0295046c10c897d71a2b6fad93d254c5782ff78-rimg-w400-h400-dc455660-gmir.jpg?v=1772726099 ## FAQs - **Q**: When is the event happening? - **A:** Thu, 19 Mar, 2026 at 01:00 pm - **Q**: Where is the event happening? - **A:** Eindhoven University of Technology, TU/e Science Park, Building 5, Eindhoven, Netherlands - **Q**: What is the ticket price? - **A:** starting from 0 up to 0 USD - **Q**: Who is organizing the event? - **A:** INTERSECT Project - **Q**: What type of event is this? - **A:** business, sports, meetups, nonprofit - **Q**: Where can I find ticket details about INTERSCT. Round Table on IoT Product Security ? - **A:** You can find ticket details about this event on AllEvents. ## Structured Data (JSON-LD) ```json [ { "@context": "https://schema.org", "@type": "Event", "name": "INTERSCT. Round Table on IoT Product Security", "image": "https://cdn-az.allevents.in/events9/banners/3c67c4913fc9bb11cf75b3e984db4878714ea4069e3cb26d09af57beca2df3f7-rimg-w1200-h675-dc455660-gmir.jpg?v=1772726099", "startDate": "2026-03-19", "endDate": "2026-03-19", "url": "https://allevents.in/eindhoven/intersct-round-table-on-iot-product-security/100001984232188891", "location": { "@type": "Place", "name": "Eindhoven University of Technology", "address": { "@type": "PostalAddress", "streetAddress": "TU/e Science Park, Building 5", "postalCode": "5612 AE", "addressLocality": "Eindhoven", "addressRegion": "NB", "addressCountry": "NL" }, "geo": { "@type": "GeoCoordinates", "latitude": "51.4468853", "longitude": "5.4874078" } }, "eventAttendanceMode": "https://schema.org/OfflineEventAttendanceMode", "description": "Join us at INTERSCT. Round Table on IoT Product Security for a deep dive into the world of innovative (formaI) methods for IoT security", "offers": [ { "@type": "AggregateOffer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-02", "availabilityEnds": "2026-03-19", "validFrom": "2026-04-02", "lowPrice": "0.00", "highPrice": "0.00", "price": "0.00", "url": "https://allevents.in/eindhoven/intersct-round-table-on-iot-product-security/100001984232188891" }, { "@type": "Offer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-02", "availabilityEnds": "", "validFrom": "2026-04-02", "url": "https://allevents.in/eindhoven/intersct-round-table-on-iot-product-security/100001984232188891", "price": 0, "name": "General Admission" } ], "organizer": [ { "@type": "Organization", "name": "INTERSECT Project", "url": "https://allevents.in/org/intersect-project/20294515", "description": "INTERSECT is a public private partnership funded by the Dutch National Research Council (Grant NWA.1160.18.301) and more than 20 organizations in the context of their commitment to the Dutch National Science Agenda. It focuses on R&D and (technological) innovation for a novel approach to the cyber security of Internet-of-things." } ] } ] ```