Formal Verification of Encrypted Communication in spi-Calculus

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Formal Verification of Encrypted Communication in spi-Calculus'. Together they form a unique fingerprint.