Separating the Specification and Implementation Phases in Cryptology.

Marie-Jeanne Toussaint

Browse the full ESORICS paper archive.