BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cremers:Cas_J=_F=

Contributed to:

ICSE 20152015
CSL 20102010
CAV 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.