University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Fouque, P"

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Baritel-Ruet, Cécile, Dupressoir, Francois, Fouque, Pierre-Alain and Grégoire, Benjamin (2018) Formal Security Proof of CMAC and its Variants In: 31st IEEE Computer Security Foundations Symposium, 09-12 Jul 2018, Oxford, UK.

Bhargavan, Karthikeyan, Boureanu, Ioana, Delignat-Lavaud, Antoine, Fouque, Pierre-Alain and Onete, Cristina (2018) A Formal Treatment of Accountable Proxying Over TLS In: 2018 IEEE Symposium on Security and Privacy (SP), 20-24 May 2018, San Francisco, California, USA.

Bhargavan, K, Boureanu, Ioana, Fouque, P-A, Onete, C and Richard, B (2017) Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL In: 2nd IEEE European Symposium on Security and Privacy, 2017-04-26 - 2017-04-28, Paris, France.

Barthe, G, Belaïd, S, Dupressoir, FSP, Fouque, P-A, Grégoire, B, Strub, P-Y and Zucchini, R (2016) Strong Non-Interference and Type-Directed Higher-Order Masking In: 2016 23rd ACM Conference on Computer and Communications Security, 2016-10-24 - 2016-10-28, Hofburg Palace, Vienna, Austria.

This list was generated on Tue Feb 25 00:43:38 2020 UTC.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800