A Typing Result for Stateful Protocols - Extended Version

Andreas Viktor Hess, Sebastian Alexander Mödersheim

Research output: Book/ReportReportResearchpeer-review

89 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Typing Result for Stateful Protocols - Extended Version'. Together they form a unique fingerprint.

Computer Science

Social Sciences