Sapiecha, Piotr

• Vol 11, No 3 (2011) - Articles
  Effective reduction of cryptographic protocols specification for model-checking with Spin
  Abstract  PDF
• Vol 12, No 4 (2012) - Articles
  Automatic detection of DoS vulnerabilities of cryptographic protocols
  Abstract  PDF