# 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 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 gallery - **Alt text**: INTERSCT. Round Table on IoT Product Security - **Image URL**: https://cdn-az.allevents.in/events9/banners/3c67c4913fc9bb11cf75b3e984db4878714ea4069e3cb26d09af57beca2df3f7-rimg-w1200-h675-dc455660-gmir.jpg?v=1772726099 ## FAQs - **Q**: When and where is INTERSCT. Round Table on IoT Product Security being held? - **A:** INTERSCT. Round Table on IoT Product Security takes place on Thu, 19 Mar, 2026 at 01:00 pm to Thu, 19 Mar, 2026 at 05:00 pm at Eindhoven University of Technology, TU/e Science Park, Building 5, Eindhoven, Netherlands. - **Q**: Who is organizing INTERSCT. Round Table on IoT Product Security? - **A:** INTERSCT. Round Table on IoT Product Security is organized by INTERSECT Project. - **Q**: Who is this event for? Is it right for me? - **A:** INTERSCT. Round Table on IoT Product Security is ideal for professionals, entrepreneurs, startup founders, and networking enthusiasts eager to grow their connections. Whether you're a first-time attendee or a longtime enthusiast in Eindhoven, this event is thoughtfully curated to deliver a standout experience worth every moment. If INTERSCT. Round Table on IoT Product Security sounds like your kind of event, don't wait - spots fill up fast. ## 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-14", "availabilityEnds": "2026-03-19", "validFrom": "2026-04-14", "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-14", "availabilityEnds": "", "validFrom": "2026-04-14", "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." } ] } ] ```