https://cknabs.github.io/publication-type/1/2026-01-01T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/signalcd/2026-01-01T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/aid-distribution/2026-01-01T00:00:00+00:00weeklyhttps://cknabs.github.io/publication_types/2026-01-01T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/2026-01-01T00:00:00+00:00weeklyhttps://cknabs.github.io/publication-type/3/2025-10-06T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/uc-otf-mpc/2025-10-06T00:00:00+00:00weeklyhttps://cknabs.github.io/talk/end-to-end-encrypted-collaborative-documents/2025-06-19T00:00:00+00:00weeklyhttps://cknabs.github.io/event/2025-06-19T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/funky/2025-05-20T00:00:00+00:00weeklyhttps://cknabs.github.io/talk/a-privacy-preserving-aid-distribution-system-with-assessment-capabilities-or-a-case-study-on-threat-modelling-and-system-design/2025-03-26T00:00:00+00:00weeklyhttps://cknabs.github.io/talk/on-the-fiat-shamir-security-of-fiop-based-succinct-arguments/2025-03-24T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/lova/2024-12-09T00:00:00+00:00weeklyhttps://cknabs.github.io/post/lova/2024-12-06T00:00:00+00:00weeklyhttps://cknabs.github.io/post/2024-12-06T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/veritas/2024-10-17T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/vfhe/2024-10-14T00:00:00+00:00weeklyhttps://cknabs.github.io/talk/lova-lattice-based-folding-scheme-from-unstructured-lattices/2024-08-01T00:00:00+00:00weeklyhttps://cknabs.github.io/publication/arc/2024-07-10T00:00:00+00:00weeklyhttps://cknabs.github.io/2024-03-28T00:00:00+00:00weeklyhttps://cknabs.github.io/talk/towards-robust-fhe-for-the-real-world/2024-03-27T00:00:00+00:00weeklyhttps://cknabs.github.io/opera/2023-06-16T00:00:00+00:00weeklyhttps://cknabs.github.io/opera/the-cellist/2023-06-16T00:00:00+00:00weeklyhttps://cknabs.github.io/opera/die-zauberfloete/2023-04-29T00:00:00+00:00weeklyhttps://cknabs.github.io/post/vfhe/2023-04-23T18:27:59+02:00weeklyhttps://cknabs.github.io/talk/verifiable-fhe/2023-03-26T00:00:00+00:00weeklyhttps://cknabs.github.io/project/2022-10-17T00:00:00+00:00weeklyhttps://cknabs.github.io/category/applied-cryptography/2022-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/categories/2022-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/fhe/2022-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/integrity/2022-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/talk/integrity-protection-challenges-for-real-world-fhe/2022-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tags/2022-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/category/epfl/2021-11-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/fully-homomorphic-encryption/2021-11-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/lattices/2021-11-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/proof-systems/2021-11-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/verifiable-computing/2021-11-01T00:00:00+00:00weeklyhttps://cknabs.github.io/project/veritas/2021-11-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/ml/2021-06-15T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/privacy-enhancing-technologies/2021-06-15T00:00:00+00:00weeklyhttps://cknabs.github.io/category/privacy-enhancing-technologies/2021-06-15T00:00:00+00:00weeklyhttps://cknabs.github.io/project/transfer_learning_in_property_inference_attacks/2021-06-15T00:00:00+00:00weeklyhttps://cknabs.github.io/project/automatic_inference_of_hyperproperties/2018-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/category/formal-methods/2018-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/formal-verification/2018-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/static-analysis/2018-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/tag/verifiedscion/2018-09-01T00:00:00+00:00weeklyhttps://cknabs.github.io/opera/werther/2017-04-08T00:00:00+00:00weeklyhttps://cknabs.github.io/privacy/weekly