DMCA

Integrating Verification, Testing, and Learning for Cryptographic Protocols⋆ (2011)

by Martin Oostidijk , Vlad Rusu , Jan Tretmans , Rene De Vries , Tim Willemse , Martin Oostidijk , Vlad Rusu , Jan Tretmans , Rene De Vries , Tim Willemse Integrating Veri , Hal Id Inria , M. Oostdijk , V. Rusu , J. Tretmans , R. G. De Vries