Model-Based Testing of Cryptographic Components - Lessons Learned from Experience.

Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle

Browse the full ICST paper archive.