Christoph Sprenger https://isa-afp.org/authors/sprenger/ AFP entries of Christoph Sprenger The Sumcheck Protocol https://isa-afp.org/entries/Sumcheck_Protocol.html Fri, 02 Feb 2024 00:00:00 +0000 The Sumcheck Protocol in the AFP Computer science/Security Computer science/Algorithms/Distributed Computer science/Algorithms/Randomized IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols https://isa-afp.org/entries/IsaNet.html Wed, 08 Jun 2022 00:00:00 +0000 IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols in the AFP Computer science/Security Computer science/Networks Developing Security Protocols by Refinement https://isa-afp.org/entries/Security_Protocol_Refinement.html Wed, 24 May 2017 00:00:00 +0000 Developing Security Protocols by Refinement in the AFP Computer science/Security Refining Authenticated Key Agreement with Strong Adversaries https://isa-afp.org/entries/Key_Agreement_Strong_Adversaries.html Tue, 31 Jan 2017 00:00:00 +0000 Refining Authenticated Key Agreement with Strong Adversaries in the AFP Computer science/Security Consensus Refined https://isa-afp.org/entries/Consensus_Refined.html Wed, 18 Mar 2015 00:00:00 +0000 Consensus Refined in the AFP Computer science/Algorithms/Distributed