Sapiecha, Piotr

• Vol 11, No 3 (2011) - Articles
  Effective reduction of cryptographic protocols specification for model-checking with Spin
  Streszczenie w języku polskim  PDF (English)
• Vol 12, No 4 (2012) - Articles
  Automatic detection of DoS vulnerabilities of cryptographic protocols
  Streszczenie w języku polskim  PDF (English)