"Authenticated Key Exchange"@en . "VoIP"@en . "Gosset lattice"@en . "Speech quality evaluation"@en . . "Tamarin Prover"@en . "Crypto Phone"@en . . "Speech synthesis using machine learning"@en . "Spherical group codes"@en . "Piotr Krasnowski" . "Data over Voice"@en . "Krasnowski" . . "Piotr" . "Quaternary ECC"@en . "Digital voice channels"@en . "Vocal Verification"@en . <0000-0002-4564-7946> . "Distance-preserving encryption"@en . "3b4ead3dc2ec6a781597f8ef913035c8" . "Secure Voice Communications"@en . "Formal Protocol Verification"@en . .