Plutus
From MaRDI portal
Software:34289
No author found.
Related Items (7)
Scalable zero knowledge via cycles of elliptic curves ⋮ Enabling Compressed Encryption for Cloud Based Big Data Stores ⋮ Oblivious access control policies for cloud based data sharing systems ⋮ EFADS: efficient, flexible and anonymous data sharing protocol for cloud computing with proxy re-encryption ⋮ Cryptographically-enforced hierarchical access control with multiple keys ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif ⋮ Fast and secure updatable encryption
This page was built for software: Plutus