( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Implementing and Proving the TLS 1.3 Record Layer.

, , , , , , , , , и . IACR Cryptology ePrint Archive, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Cédric Müller

Cédric Bodet

Cédric Allène

Cédric Joffroy

Cédric Penet

 

Другие публикации лиц с тем же именем

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , и 5 other автор(ы). IACR Cryptol. ePrint Arch., (2019)SecPAL: Design and semantics of a decentralized authorization language., , и . J. Comput. Secur., 18 (4): 619-665 (2010)An Asynchronous, Distributed Implementation of Mobile Ambients., , и . IFIP TCS, том 1872 из Lecture Notes in Computer Science, стр. 348-364. Springer, (2000)Cryptographically Sound Implementations for Communicating Processes., и . ICALP (2), том 4052 из Lecture Notes in Computer Science, стр. 83-94. Springer, (2006)A hierarchy of equivalences for asynchronous calculi., и . J. Log. Algebraic Methods Program., 63 (1): 131-173 (2005)Mobile values, new names, and secure communication., и . POPL, стр. 104-115. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.Cryptographically sound implementations for typed information-flow security., и . POPL, стр. 323-335. ACM, (2008)Ethernet Topology Discovery without Network Assistance., , и . ICNP, стр. 328-339. IEEE Computer Society, (2004)Secure Implementation of Channel Abstractions., , и . LICS, стр. 105-116. IEEE Computer Society, (1998)Smart meter aggregation via secret-sharing., , , и . SEGS@CCS, стр. 75-80. ACM, (2013)