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

Hubert Comon, Charlie Jacomme, Guillaume Scerri

Browse the full CCS paper archive.