Login / Signup
On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions.
Jaouhar Fattahi
Mohamed Mejri
Emil Pricop
Published in:
CoRR (2019)
Keyphrases
</>
cryptographic protocols
security properties
security protocols
authentication protocol
encryption decryption
standard model
insider attacks
data integration
security issues
software engineering
image quality
information security
private information retrieval