A domain-specific language for computing on encrypted data. (Invited talk)

DOI10.4230/LIPICS.FSTTCS.2011.28MaRDI QIDQ2911606zbMATH OpenOpenAlexFDO

Authors Alex Bain, John Mitchell, Deian Stefan, Joe Zimmerman, Rahul Sharma

Publication date 31 August 2012

Full work available at URL https://doi.org/10.4230/LIPIcs.FSTTCS.2011.28

zbMATH Keywords

data exchangedata integrationdatabase constraintshomomorphism dualitiesschema mappingsuniversal solutions

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Computing on Encrypted Data
• A domain-specific language for cryptographic protocols based on streams
• A secrecy-preserving language for distributed and object-oriented systems
• Towards Robust Computation on Encrypted Data
• scientific article; zbMATH DE number 1832235
• Topical collection on computing on encrypted data
• Flexible and efficient verifiable computation on encrypted data
• Towards Symmetric Functional Encryption for Regular Languages with Predicate Privacy

Cited in

(2)

• EDSL
• Language Modeling and Encryption on Packet Switched Networks

Describes a project that uses

Uses Software

• Haskell
• Sharemind

This page was built for publication: A domain-specific language for computing on encrypted data. (Invited talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2911606)