Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols
Hannah M. Davis, Felix Günther
Topics & Concepts
Key exchangeComputer scienceMathematical proofDiscrete logarithmProtocol (science)SigmaKey (lock)Cryptographic protocolConcrete securityTheoretical computer scienceKey sizeLogarithmComputer securityArithmeticCryptographyPublic-key cryptographyMathematicsEncryptionGeometryMedicineAlternative medicinePathologyMathematical analysisQuantum mechanicsPhysicsCryptography and Data SecurityAdvanced Authentication Protocols SecurityCryptography and Residue Arithmetic