On the Cryptographic Deniability of the Signal Protocol
Nihal Vatandas, Rosario Gennaro, Bertrand Ithurburn, Hugo Krawczyk
Topics & Concepts
Computer scienceProtocol (science)CryptographyCryptographic protocolSIGNAL (programming language)Computer securitySession (web analytics)Formal proofTheoretical computer scienceProperty (philosophy)A priori and a posterioriFormal methodsWorld Wide WebSoftware engineeringProgramming languageMathematicsEpistemologyGeometryPhilosophyMathematical proofAlternative medicineMedicinePathologyCryptography and Data SecurityCryptographic Implementations and SecurityAdvanced Authentication Protocols Security