https://cknabs.github.io/tag/cv-talk/Cv-TalkHugo Blox Builder (https://hugoblox.com)en-usSat, 01 Aug 2026 00:00:00 +0000https://cknabs.github.io/media/icon_hu9119483181917766453.pnghttps://cknabs.github.io/tag/cv-talk/https://cknabs.github.io/talk/end-to-end-encrypted-collaborative-documents/Sat, 01 Aug 2026 00:00:00 +0000https://cknabs.github.io/talk/end-to-end-encrypted-collaborative-documents/https://cknabs.github.io/talk/a-privacy-preserving-aid-distribution-system-with-assessment-capabilities-or-a-case-study-on-threat-modelling-and-system-design/Wed, 01 Jul 2026 00:00:00 +0000https://cknabs.github.io/talk/a-privacy-preserving-aid-distribution-system-with-assessment-capabilities-or-a-case-study-on-threat-modelling-and-system-design/https://cknabs.github.io/talk/on-the-privacy-harms-of-the-eu-digital-identity-framework/Wed, 01 Jul 2026 00:00:00 +0000https://cknabs.github.io/talk/on-the-privacy-harms-of-the-eu-digital-identity-framework/https://cknabs.github.io/talk/coming-back-from-the-knowledge-k-risis-building-arguments-from-k-prisis/Fri, 01 May 2026 00:00:00 +0000https://cknabs.github.io/talk/coming-back-from-the-knowledge-k-risis-building-arguments-from-k-prisis/https://cknabs.github.io/talk/on-the-fiat-shamir-security-of-succinct-arguments-from-functional-commitments/Mon, 01 Sep 2025 00:00:00 +0000https://cknabs.github.io/talk/on-the-fiat-shamir-security-of-succinct-arguments-from-functional-commitments/https://cknabs.github.io/talk/lova-lattice-based-folding-scheme-from-unstructured-lattices/Thu, 01 Aug 2024 00:00:00 +0000https://cknabs.github.io/talk/lova-lattice-based-folding-scheme-from-unstructured-lattices/https://cknabs.github.io/talk/verifiable-fully-homomorphic-encryption-/-towards-robust-fhe-for-the-real-world/Wed, 27 Mar 2024 00:00:00 +0000https://cknabs.github.io/talk/verifiable-fully-homomorphic-encryption-/-towards-robust-fhe-for-the-real-world/<h2 id="verifiable-fully-homomorphic-encryption">Verifiable Fully Homomorphic Encryption</h2> <p>Fully Homomorphic Encryption (FHE) is seeing increasing real-world deployment to protect data in use by allowing computation over encrypted data. However, the same malleability that enables homomorphic computations also raises integrity issues, which have so far been mostly overlooked for practical deployments. While FHE&rsquo;s lack of integrity has obvious implications for correctness, it also has severe implications for confidentiality: a malicious server can leverage the lack of integrity to carry out interactive key-recovery attacks.</p> <p>As a result, virtually all FHE schemes and applications assume an honest-but-curious server who does not deviate from the protocol. However, this assumption is insufficient for a wide range of deployment scenarios. While there has been work that aims to address this gap, current approaches fail to fully address the needs and characteristics of modern FHE schemes and applications.</p> <p>In this talk, I discuss the need for and challenges of achieving verifiable Fully Homomorphic Encryption (vFHE), introduce a notion for maliciously secure verifiable FHE, and present concrete instantiations based on several integrity primitives. This is joint work with Alexander Viand and Anwar Hithnawi.</p>