Plutus
From MaRDI portal
Software:34289
swMATH22497MaRDI QIDQ34289FDOQ34289
Author name not available (Why is that?)
Cited In (7)
- Oblivious access control policies for cloud based data sharing systems
- Enabling Compressed Encryption for Cloud Based Big Data Stores
- Cryptographically-enforced hierarchical access control with multiple keys
- Fast and secure updatable encryption
- EFADS: efficient, flexible and anonymous data sharing protocol for cloud computing with proxy re-encryption
- Scalable zero knowledge via cycles of elliptic curves
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
This page was built for software: Plutus