https://cisat.itu.dk/courses/substructural-logics/01-introduction/ https://cisat.itu.dk/courses/substructural-logics/ https://cisat.itu.dk/courses/substructural-logics/02-connectives/ https://cisat.itu.dk/courses/substructural-logics/03-cutelim/ https://cisat.itu.dk/courses/substructural-logics/04-message/ https://cisat.itu.dk/courses/substructural-logics/05-mpass/ https://cisat.itu.dk/courses/substructural-logics/06-preservation/ https://cisat.itu.dk/courses/substructural-logics/07-validity/ https://cisat.itu.dk/courses/substructural-logics/08-mixed/ https://cisat.itu.dk/courses/substructural-logics/09-adjoint/ https://cisat.itu.dk/courses/substructural-logics/10-focusing/ https://cisat.itu.dk/courses/substructural-logics/11-sax/ https://cisat.itu.dk/news/2026-10-22-bernardo2/ 2026-10-22T00:00:00+00:00 https://cisat.itu.dk/news/2026-10-22-bernardo1/ 2026-10-22T00:00:00+00:00 https://cisat.itu.dk/ 2026-10-22T00:00:00+00:00 https://cisat.itu.dk/news/ 2026-10-22T00:00:00+00:00 https://cisat.itu.dk/talks/2026-09-04-kosenkov/ 2026-09-04T00:00:00+00:00 https://cisat.itu.dk/talks/ 2026-09-04T00:00:00+00:00 https://cisat.itu.dk/news/2026-09-01-natbjo/ 2026-09-01T00:00:00+00:00 https://cisat.itu.dk/news/2026-08-26-cybersecuritysummit/ 2026-08-26T00:00:00+00:00 https://cisat.itu.dk/news/2026-08-22-slss/ 2026-08-22T00:00:00+00:00 https://cisat.itu.dk/talks/2026-08-11-grinbergs/ 2026-08-11T00:00:00+00:00 https://cisat.itu.dk/news/2026-08-01-thosur/ 2026-08-01T00:00:00+00:00 https://cisat.itu.dk/talks/2026-05-22-askarov/ 2026-05-22T00:00:00+00:00 https://cisat.itu.dk/talks/2026-05-08-cheeseman/ 2026-05-08T00:00:00+00:00 https://cisat.itu.dk/talks/2026-04-16-pedersen/ 2026-04-16T00:00:00+00:00 https://cisat.itu.dk/talks/2026-04-15-ghanavati/ 2026-04-15T00:00:00+00:00 https://cisat.itu.dk/talks/2026-03-27-gleasure/ 2026-03-27T00:00:00+00:00 https://cisat.itu.dk/talks/2026-03-24-sands/ 2026-03-24T00:00:00+00:00 https://cisat.itu.dk/news/2026-03-chi/ 2026-03-15T00:00:00+00:00 https://cisat.itu.dk/talks/2026-03-13-meyer/ 2026-03-13T00:00:00+00:00 https://cisat.itu.dk/talks/2026-03-03-larsen/ 2026-03-03T00:00:00+00:00 https://cisat.itu.dk/news/2026-01-refsq/ 2026-01-20T00:00:00+00:00 https://cisat.itu.dk/news/2026-01-fc-voting/ 2026-01-15T00:00:00+00:00 https://cisat.itu.dk/news/2026-01-nfc-report/ 2026-01-10T00:00:00+00:00 https://cisat.itu.dk/talks/2025-12-11-hinrichsen/ 2025-12-11T00:00:00+00:00 https://cisat.itu.dk/talks/2025-12-09-kusters/ 2025-12-09T00:00:00+00:00 https://cisat.itu.dk/talks/2025-12-08-miculan/ 2025-12-08T00:00:00+00:00 https://cisat.itu.dk/talks/2025-12-01-sabelfeld/ 2025-12-01T00:00:00+00:00 https://cisat.itu.dk/talks/2025-11-27-ryan/ 2025-11-27T00:00:00+00:00 https://cisat.itu.dk/talks/2025-11-26-ritter/ 2025-11-26T00:00:00+00:00 https://cisat.itu.dk/news/2025-11-cyberdilemmaer/ 2025-11-15T00:00:00+00:00 https://cisat.itu.dk/talks/2025-11-06-liebetrau/ 2025-11-06T00:00:00+00:00 https://cisat.itu.dk/talks/2025-10-30-motzfeldt/ 2025-10-30T00:00:00+00:00 https://cisat.itu.dk/talks/2025-10-21-shelat/ 2025-10-21T00:00:00+00:00 https://cisat.itu.dk/talks/2025-10-20-hook/ 2025-10-20T00:00:00+00:00 https://cisat.itu.dk/talks/2025-09-26-saikawa/ 2025-09-26T00:00:00+00:00 https://cisat.itu.dk/talks/2025-09-25-bruni/ 2025-09-25T00:00:00+00:00 https://cisat.itu.dk/news/2025-09-velux/ 2025-09-20T00:00:00+00:00 https://cisat.itu.dk/news/2025-09-direc-ai-tools/ 2025-09-15T00:00:00+00:00 https://cisat.itu.dk/news/2025-09-furic/ 2025-09-12T00:00:00+00:00 https://cisat.itu.dk/talks/2025-09-11-panchartek/ 2025-09-11T00:00:00+00:00 https://cisat.itu.dk/news/2025-09-raha-joins/ 2025-09-10T00:00:00+00:00 https://cisat.itu.dk/talks/2025-08-26-khedkar/ 2025-08-26T00:00:00+00:00 https://cisat.itu.dk/news/2025-07-eurousec/ 2025-07-15T00:00:00+00:00 https://cisat.itu.dk/news/2025-07-pkc/ 2025-07-10T00:00:00+00:00 https://cisat.itu.dk/news/2025-07-disc/ 2025-07-05T00:00:00+00:00 https://cisat.itu.dk/news/2025-07-asiacrypt/ 2025-07-01T00:00:00+00:00 https://cisat.itu.dk/talks/2025-06-23-haselwater/ 2025-06-23T00:00:00+00:00 https://cisat.itu.dk/news/2025-06-csf-award/ 2025-06-20T00:00:00+00:00 https://cisat.itu.dk/news/2025-06-bruni-grants/ 2025-06-15T00:00:00+00:00 https://cisat.itu.dk/news/2025-06-evoteid/ 2025-06-10T00:00:00+00:00 https://cisat.itu.dk/news/2025-06-cscw/ 2025-06-05T00:00:00+00:00 https://cisat.itu.dk/news/2025-05-dff/ 2025-05-15T00:00:00+00:00 https://cisat.itu.dk/news/2025-04-cyberwar/ 2025-04-15T00:00:00+00:00 https://cisat.itu.dk/news/2025-03-eidas/ 2025-03-15T00:00:00+00:00 https://cisat.itu.dk/news/2025-03-nordicrypt/ 2025-03-10T00:00:00+00:00 https://cisat.itu.dk/talks/2025-03-09-petersen/ 2025-03-09T00:00:00+00:00 https://cisat.itu.dk/talks/2025-03-03-asadi/ 2025-03-03T00:00:00+00:00 https://cisat.itu.dk/talks/2024-12-10-miculan/ 2024-12-10T00:00:00+00:00 https://cisat.itu.dk/news/2024-10-evoteid-award/ 2024-10-15T00:00:00+00:00 https://cisat.itu.dk/talks/2024-10-15-hadar/ 2024-10-15T00:00:00+00:00 https://cisat.itu.dk/talks/2024-09-25-nissen/ 2024-09-25T00:00:00+00:00 https://cisat.itu.dk/talks/2024-05-30-larsen/ 2024-05-30T00:00:00+00:00 https://cisat.itu.dk/talks/2024-05-01-yeniaras/ 2024-05-01T00:00:00+00:00 https://cisat.itu.dk/talks/2024-01-11-reiser/ 2024-01-11T00:00:00+00:00 https://cisat.itu.dk/talks/2023-10-30-jensen/ 2023-10-30T00:00:00+00:00 https://cisat.itu.dk/talks/2023-09-28-zhora/ 2023-09-28T00:00:00+00:00 https://cisat.itu.dk/talks/2023-02-20-janssen/ 2023-02-20T00:00:00+00:00 https://cisat.itu.dk/talks/2022-11-04-hursti/ 2022-11-04T00:00:00+00:00 https://cisat.itu.dk/talks/2022-11-01-veschetti/ 2022-11-01T00:00:00+00:00 https://cisat.itu.dk/talks/2022-06-17-modersheim/ 2022-06-17T00:00:00+00:00 https://cisat.itu.dk/talks/2022-06-01-basin/ 2022-06-01T00:00:00+00:00 https://cisat.itu.dk/talks/2022-05-25-matheja/ 2022-05-25T00:00:00+00:00 https://cisat.itu.dk/talks/2021-11-25-lansing/ 2021-11-25T00:00:00+00:00 https://cisat.itu.dk/talks/2021-11-15-ryan/ 2021-11-15T00:00:00+00:00 https://cisat.itu.dk/talks/2021-11-08-berghoff/ 2021-11-08T00:00:00+00:00 https://cisat.itu.dk/talks/2021-11-03-david/ 2021-11-03T00:00:00+00:00 https://cisat.itu.dk/talks/2021-10-22-jorgensen/ 2021-10-22T00:00:00+00:00 https://cisat.itu.dk/talks/2021-10-18-drachsler/ 2021-10-18T00:00:00+00:00 https://cisat.itu.dk/talks/2021-10-11-gore/ 2021-10-11T00:00:00+00:00 https://cisat.itu.dk/talks/2021-09-27-dalela/ 2021-09-27T00:00:00+00:00 https://cisat.itu.dk/talks/2021-09-13-palmskog/ 2021-09-13T00:00:00+00:00 https://cisat.itu.dk/talks/2021-09-02-baum/ 2021-09-02T00:00:00+00:00 https://cisat.itu.dk/talks/2021-08-30-arafin/ 2021-08-30T00:00:00+00:00 https://cisat.itu.dk/talks/2021-08-23-istvan/ 2021-08-23T00:00:00+00:00 https://cisat.itu.dk/talks/2021-06-14-mayer/ 2021-06-14T00:00:00+00:00 https://cisat.itu.dk/talks/2021-05-31-hou/ 2021-05-31T00:00:00+00:00 https://cisat.itu.dk/talks/2021-05-17-sempreboni/ 2021-05-17T00:00:00+00:00 https://cisat.itu.dk/talks/2021-05-10-vajjha/ 2021-05-10T00:00:00+00:00 https://cisat.itu.dk/talks/2021-05-03-stewart/ 2021-05-03T00:00:00+00:00 https://cisat.itu.dk/talks/2021-04-26-giustolisi/ 2021-04-26T00:00:00+00:00 https://cisat.itu.dk/talks/2021-04-19-munksgaard/ 2021-04-19T00:00:00+00:00 https://cisat.itu.dk/talks/2021-04-12-baum/ 2021-04-12T00:00:00+00:00 https://cisat.itu.dk/talks/2021-03-23-schneier/ 2021-03-23T00:00:00+00:00 https://cisat.itu.dk/talks/2021-03-08-dalela/ 2021-03-08T00:00:00+00:00 https://cisat.itu.dk/talks/2021-02-08-kuennemann/ 2021-02-08T00:00:00+00:00 https://cisat.itu.dk/talks/2021-01-11-gentile/ 2021-01-11T00:00:00+00:00 https://cisat.itu.dk/talks/2020-12-14-miculan/ 2020-12-14T00:00:00+00:00 https://cisat.itu.dk/talks/2020-12-07-khutkyy/ 2020-12-07T00:00:00+00:00 https://cisat.itu.dk/talks/2020-11-16-brunetta/ 2020-11-16T00:00:00+00:00 https://cisat.itu.dk/talks/2020-11-11-cabarcos/ 2020-11-11T00:00:00+00:00 https://cisat.itu.dk/talks/2020-11-02-dalela/ 2020-11-02T00:00:00+00:00 https://cisat.itu.dk/talks/2020-10-26-dushku/ 2020-10-26T00:00:00+00:00 https://cisat.itu.dk/talks/2020-10-19-david/ 2020-10-19T00:00:00+00:00 https://cisat.itu.dk/talks/2020-10-07-hook/ 2020-10-07T00:00:00+00:00 https://cisat.itu.dk/talks/2020-07-01-madsen/ 2020-07-01T00:00:00+00:00 https://cisat.itu.dk/talks/2020-06-29-genc/ 2020-06-29T00:00:00+00:00 https://cisat.itu.dk/talks/2020-04-02-schneider/ 2020-04-02T00:00:00+00:00 https://cisat.itu.dk/talks/2020-03-10-haines/ 2020-03-10T00:00:00+00:00 https://cisat.itu.dk/talks/2020-02-18-pedersen/ 2020-02-18T00:00:00+00:00 https://cisat.itu.dk/news/2018-10-owasp-meetup/ 2018-10-25T00:00:00+00:00 https://cisat.itu.dk/news/2018-03-winvote/ 2018-03-01T00:00:00+00:00 https://cisat.itu.dk/news/2018-03-forskningens-doegn/ 2018-03-01T00:00:00+00:00 https://cisat.itu.dk/news/2018-02-rafnsson-joins/ 2018-02-01T00:00:00+00:00 https://cisat.itu.dk/courses/ai-security/ https://cisat.itu.dk/courses/ https://cisat.itu.dk/courses/cryptographic-computation-and-blockchain/ https://cisat.itu.dk/courses/cryptography/ https://cisat.itu.dk/courses/ethical-hacking/ https://cisat.itu.dk/courses/language-based-security/ https://cisat.itu.dk/courses/program-verification/ https://cisat.itu.dk/projects/ https://cisat.itu.dk/courses/threat-informed-security/