Valmari - Model Checking Software 13th International SPIN Workshop - X555z

Vaudenay - Fast Software Encryption 5th International Workshop FSE - X555z

Canteaut - Fast Software Encryption 19th International Workshop FSE - X555z

Biryukov - Fast Software Encryption 14th International Workshop FSE - X555z

Gilbert - Fast Software Encryption 12th International Workshop FSE - X555z

Gollmann - Fast Software Encryption Third International Workshop Ca - X555z

Leander - Fast Software Encryption 22nd International Workshop FSE - X555z

Biham - Fast Software Encryption 4th International Workshop FSE'97 - X555z