Verification Protocol for Stable Matching from Conditional Disclosure of Secrets.
Kittiphop PhalakarnToru NakamuraPublished in: ACNS (1) (2024)
Keyphrases
- cryptographic protocols
- formal analysis
- fingerprint verification
- false acceptance rate
- protocol specification
- matching algorithm
- image matching
- model checking
- graph matching
- shape matching
- private information
- keypoints
- model checker
- formal proof
- random field model
- feature points
- privacy protection
- statistical databases
- feature matching
- information loss
- matching process
- petri net