Travelled to:1 × Czech Republic
1 × Italy
1 × USA
Collaborated with:D.A.Basin ∅ A.C.Simpson A.Martin I.Flechais I.Martinovic K.B.Rasmussen
Talks about:secur (3) protocol (2) compromis (1) adversari (1) programm (1) guarante (1) softwar (1) scyther (1) develop (1) analysi (1)
Person: Cas J. F. Cremers
DBLP: Cremers:Cas_J=_F=
Contributed to:
2015
2010
2008Wrote 3 papers:
- ICSE-v2-2015-SimpsonMCFMR #case study #education #experience #security
- Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security (ACS, AM, CJFC, IF, IM, KBR), pp. 435–444.
- CSL-2010-BasinC #protocol #security
- Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries (DAB, CJFC), pp. 1–18.
- CAV-2008-Cremers #analysis #protocol #security #verification
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (CJFC), pp. 414–418.