Skip to main content

Implementations of some empirical security protocols

Bill Roscoe ( Oxford University )