Up a level |
(2015) ADSNARK: Nearly-Practical Privacy-Preserving Proofs on Authenticated Data.
(2014) Declarative Design and Enforcement for Secure Cloud Applications.
(2013) DEMO: Secure and Customizable Web Development in the SAFE Activation Framework.
(2013) Verifiable Delegation of Computation on Outsourced Data.
(2013) DEMO: Secure and Customizable Web Development in the SAFE Activation Framework.
(2012) SAFE Extensibility of Data-Driven Web Applications.
(2011) G2C: Cryptographic Protocols from Goal-Driven Specifications.