Login / Signup
Non-Interactive Plaintext (In-)Equality Proofs and Group Signatures with Verifiable Controllable Linkability.
Olivier Blazy
David Derler
Daniel Slamanig
Raphael Spreitzer
Published in:
CT-RSA (2016)
Keyphrases
</>
virtual reality
user friendly
theorem prover
graphical interface
sufficient conditions
group members
security analysis
information retrieval
search engine
access control
user interaction
theorem proving
formal proof