Typing and Compositionality for Stateful Security Protocols

Andreas Viktor Hess

Research output: Book/ReportPh.D. thesis

286 Downloads (Orbit)

Fingerprint

Dive into the research topics of 'Typing and Compositionality for Stateful Security Protocols'. Together they form a unique fingerprint.

Computer Science

Keyphrases