Publication | Closed Access

Cryptographic Computation: Secure Faut-Tolerant Protocols and the Public-Key Model

Secure Multi-party ComputationCryptographic PrimitiveEngineeringCryptographyCryptographic ComputationFormal MethodsData PrivacyComputer ScienceCryptographic ProtocolBlockchainData SecurityFormal Verification