Mechanized analysis of verifiable multi-secret sharing in the appliedPi-calculus

Hui Zhao, Mingchu Li, Kouichi Sakurai, Yizhi Ren

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Mechanized analysis of verifiable multi-secret sharing in the appliedPi-calculus'. Together they form a unique fingerprint.

Engineering & Materials Science