Plutus
From MaRDI portal
Cited in
(14)- Enabling compressed encryption for cloud based big data stores
- Cryptfs
- Cryptographically-enforced hierarchical access control with multiple keys
- Scalable zero knowledge via cycles of elliptic curves
- Fast and secure updatable encryption
- EFADS: efficient, flexible and anonymous data sharing protocol for cloud computing with proxy re-encryption
- EFADS
- ADSNARK
- SiRiUS
- CryptDB
- Dynamo
- Bouncy Castle
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- Oblivious access control policies for cloud based data sharing systems
This page was built for software: Plutus
