Abstract: Cryptographic two-party protocols are used ubiquitously in everyday life. While some of these protocols are easy to understand and implement (e.g., key exchange or transmission of encrypted ...

CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement of security, and the ...

In secure communication systems, a Certificate Authority (CA) is responsible for issuing and managing certificates inside a Public Key Infrastructure (PKI). These certificates authenticate the ...

SecureSurvey provides a comprehensive solution for researchers conducting sensitive surveys with binary voting, offering a privacy-preserving environment through homomorphic encryption, zero-knowledge ...