Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols
scientific article; zbMATH DE number 7493519
scientific article