Towards Secure Distributed Computations (original) (raw)
Related papers
Secure distributed programming with value-dependent types
Journal of Functional Programming, 2013
Confidentiality-preserving Proof Theories for Distributed Proof Systems
Scalability in a Secure Distributed Proof System
Lecture Notes in Computer Science, 2006
Introduction to reliable and secure distributed programming
Summary Report on Secure Computation Protocols
2008
Towards a Formal Verification of a Secure and Distributed System and its Applications
Computers & Security, 1995
Secure communications processing for distributed languages
Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344), 1999
Verifiable computation with massively parallel interactive proofs
2012
Distributed proving in access-control systems
2005
AAffine Refinement Types for Secure Distributed Programming
2016
Confidentiality-Preserving Distributed Proofs of Conjunctive Queries (extended version)
A Meta-Theorem for Distributed Certification
ArXiv, 2021
Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees
Proceedings of the 12th ACM symposium on Access control models and technologies - SACMAT '07, 2007
Secured distributed algorithms without hardness assumptions
Journal of Parallel and Distributed Computing
Single-bit re-encryption with applications to distributed proof systems
Proceedings of the 2007 ACM workshop on Privacy in electronic society - WPES '07, 2007
Towards a Theory of Secure Systems (CMU-CyLab-08-003)
2018
Confidentiality-preserving distributed proofs of conjunctive queries
2009
Seal: A Framework for Secure Mobile Computations
Lecture Notes in Computer Science, 1999
Modern Security with Traditional Distributed Algorithms
A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Systematizing Secure Computation for Research and Decision Support
9th Conference on Security and Cryptography for Networks, 2014
… of the 16th ACM conference on …, 2009
Semi-trusted Collaborative Framework for Multi-party Computation
KSII Transactions on Internet and Information Systems, 2010
FlowCert : Probabilistic Certification for Peer-to-Peer Computations
2004
VERIFIABLE COMPUTATIONS: APPROACHES AND PERSPECTIVES
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems, 1980
Hardening functions for large scale distributed computations
Security and Privacy, 2003. …, 2003
Affine Refinement Types for Secure Distributed Programming
ACM Transactions on Programming Languages and Systems, 2015
Secure Execution of Computations in Untrusted Hosts
Lecture Notes in Computer Science, 2006
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
Lecture Notes in Computer Science, 2013