@dblp

Compiling symbolic attacks to protocol implementation tests.

, , and . SCSS, volume 122 of EPTCS, page 39-49. (2012)

Links and resources

Tags