Integrating verification, testing, and learning for cryptographic protocols

M.D. Oostdijk, V. Rusu, J. Tretmans, R.G. Vries, de, T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
75 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Integrating verification, testing, and learning for cryptographic protocols'. Together they form a unique fingerprint.

Engineering & Materials Science