https://thamik.github.io/event/example/2030-06-01T13:00:00+00:00weeklyhttps://thamik.github.io/event/2030-06-01T13:00:00+00:00weeklyhttps://thamik.github.io/publication/17-garnier-2025-composably/2025-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication_types/manuscript/2025-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication_types/2025-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/2025-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/projects/2024-05-19T00:00:00+00:00weeklyhttps://thamik.github.io/publication_types/article-journal/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/15-garnier-2024-composably/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/14-donne-2024-design/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/13-polacchi-2024-experimental/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/12-frank-2024-heuristic/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/16-gustiani-2024-onchip/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication_types/paper-conference/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/11-yang-2024-quantum/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/09-leichtle-2024-security/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication_types/thesis/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/05-kapourniotis-2024-unifying/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/07-drmota-2024-verifiable/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/10-kashefi-2024-verification/2024-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/post/get-started/2023-10-27T00:00:00+00:00weeklyhttps://thamik.github.io/tags/academic/2023-10-27T00:00:00+00:00weeklyhttps://thamik.github.io/post/2023-10-27T00:00:00+00:00weeklyhttps://thamik.github.io/tags/hugo-blox/2023-10-27T00:00:00+00:00weeklyhttps://thamik.github.io/tags/markdown/2023-10-27T00:00:00+00:00weeklyhttps://thamik.github.io/tags/2023-10-27T00:00:00+00:00weeklyhttps://thamik.github.io/tags/hugo/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/project/pandas/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/project/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/project/pytorch/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/project/scikit/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/tags/second-brain/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/tags/wowchemy/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/post/second-brain/2023-10-26T00:00:00+00:00weeklyhttps://thamik.github.io/post/data-visualization/2023-10-25T00:00:00+00:00weeklyhttps://thamik.github.io/post/teach-courses/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/experience/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/tags/hugo-blox-builder/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/tags/javascript/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/teaching/js/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/teaching/python/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/tags/python/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/teaching/2023-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/post/project-management/2023-10-23T00:00:00+00:00weeklyhttps://thamik.github.io/publication/06-kapourniotis-2023-asymmetric/2023-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/08-polacchi-2023-multiclient/2023-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/2022-10-24T00:00:00+00:00weeklyhttps://thamik.github.io/publication/04-leichtle-2021-verifying/2021-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/03-kashefi-2020-securing/2020-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/02-badertscher-2020-security/2020-01-01T00:00:00+00:00weeklyhttps://thamik.github.io/publication/01-leichtle-2018-post/2018-01-01T00:00:00+00:00weekly