Event Detail

HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept

{
    "id": "d1f336a3-60e8-4d84-9177-0affad1c86f8",
    "kind": "sos",
    "name": "Trustworthy Systems Meetup (security&correctness proofs in practical systems)",
    "slug": "trustworthy-systems-meetup-safetysecurity-proofs",
    "url": "https://api.events.ccc.de/congress/2025/event/d1f336a3-60e8-4d84-9177-0affad1c86f8/?format=api",
    "track": null,
    "assembly": "sos",
    "room": null,
    "location": "Chillout Area In Foyer of Hall 3 ==> https://39c3.c3nav.de/l/c:0:156.89:158.38/",
    "language": "en, de",
    "description": "Does it not sit right with you either when people say bugs are inevitable and every system has its 0-day eventually? Let's meet up and talk about the options to never have that happen.\r\n\r\nTurns out that systems for which mathematical proof that can never happen have  made it out of academia and into production. An open source tooling ecosystem is also coming up at the moment.\r\n\r\nLet's meet up and talk about what is possible already, what can be done and what should be done from the point of view of community-made software - there are a bunch of interesting implications with EU product liability and standards bodies may to require verification eventually. \r\n\r\nI can give a short conceptual introduction about how proof works, what it covers, what else you need to fully trust your whole stack (by stealing shamelessly from talks people have given in the seL4 community) and give pointers to some documentation you can use to run a proven secure seL4 microkernel on your Raspberry Pi - the technical/mathematical detail beyond that is also still beyond me.\r\n\r\nGet/Stay in touch:\r\nhttps://signal.group/#CjQKIIwPr-1D84DcrKdEcDEUjnDGWLLKhI9iM_NqRfSMbmQmEhCW30zKOq-nsiaT_afkyQyK \r\n\r\nIf after this you're itching to go prove something there is a workshop at the Nix assembly at 20:00 (unrelated to this),\r\nhttps://events.ccc.de/congress/2025/hub/en/event/detail/careful-whispers-of-proof-assistants-lean4-nix-nvi",
    "schedule_start": "2025-12-29T18:00:00+01:00",
    "schedule_duration": "00:50:00",
    "schedule_end": "2025-12-29T18:50:00+01:00"
}