Login / Signup
Urszula Krawczyk
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Automatic Detection
Cryptographic Protocols
Denial Of Service Attacks
Locally Decodable Codes
Top Venues
Ann. UMCS Informatica
</>
Publications
</>
Urszula Krawczyk
,
Piotr Sapiecha
Automatic detection of DoS vulnerabilities of cryptographic protocols.
Ann. UMCS Informatica
12 (4) (2012)
Urszula Krawczyk
,
Piotr Sapiecha
Effective reduction of cryptographic protocols specification for model-checking with Spin.
Ann. UMCS Informatica
11 (3) (2011)