Items where Author is "Goubault-Larrecq, J"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Goubault-Larrecq, J, Roger, M, Verma, KN, Evans, N, Schneider, S, Aziz, Benjamin, Hamilton, G and Gray, D M. Backes 157 Contract signing, optimism, and advantage R. Chadha, JC Mitchell, A. Scedrov and V. Shmatikov 189 Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically.

This list was generated on Wed Dec 11 04:06:32 2024 GMT.