Proof of Compliance for Anonymous, Unlinkable Messages.

Mingxun Zhou Elaine Shi Giulia Fanti

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

smart card
email
theorem proving
text messages
case study
theorem prover
noun phrases
patient records
information retrieval
artificial intelligence
computer science
peer to peer
linear logic
electronic mail
mathematical proofs