Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets

Hubert Comon, Charlie Jacomme, Guillaume Scerri. Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets. In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 1427-1444, ACM, 2020. [doi]

Authors

Hubert Comon

This author has not been identified. Look up 'Hubert Comon' in Google

Charlie Jacomme

This author has not been identified. Look up 'Charlie Jacomme' in Google

Guillaume Scerri

This author has not been identified. Look up 'Guillaume Scerri' in Google