Cas Cremers

Cas Cremers

2 books in the database

Books

Operational Semantics and Verification of Security ProtocolsCas Cremers

Operational Semantics and Verification of Security Protocols

Cas Cremers · 2012

Security Standardisation ResearchCas Cremers

Security Standardisation Research

Cas Cremers · 2018