The Two Sheriffs Problem: Cryptographic Formalization and Generalization.

Kota Sugimoto Takeshi Nakai Yohei Watanabe Mitsugu Iwamoto

Published in: COCOA (1) (2023)

Keyphrases

smart card
real time
formal model
machine learning
website
privacy preserving
formal analysis
key management
information systems
decision trees
data structure
digital libraries
security protocols