Cjf Cas Cremers

Statistics

Publications

Citations

325

H-Index

Active since

2003

Affiliations

Eindhoven University of Technology(Current)

Cjf Cas Cremers is an author at Eindhoven University of Technology specializing in protocol verification, computer science, and security protocol verification.

Publications per year

2003–2006

Publications

Scyther:semantics and verification of security protocols

Cjf Cas Cremers · Data Archiving and Networked Services (DANS) · 2006 · 315 citations · Full text

Computing, Computer Science, Computer Systems +17

Formal methods for security protocols : three examples of the black-box approach

Cjf Cas Cremers, Sjouke Mauw, de Ep Erik Vink · TU/e Research Portal · 2003 · 10 citations

Computing, Computer Science, Computer Security +16

1–2 of 2