Oracle simulation: a technique for protocol composition with long term shared secrets

Hubert Comon, Charlie Jacomme, Guillaume Scerri
November 2020
PDF Long Version
Type
Conference paper
Publication
Proceedings of the 27st ACM Conference on Computer and Communications Security (CCS'20)

Related