Cas J. F. Cremers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2009
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ACNS | Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol. | Cas J. F. Cremers |
| 2008 | CAV | The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. | Cas J. F. Cremers |
| 2008 | CCS | Unbounded verification, falsification, and characterization of security protocols by pattern refinement. | Cas J. F. Cremers |