On the public citation graph
Information-Flow Control for Programming on Encrypted Data
0 signed · 80 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45539-6_22openalex-snapshot
General Secure Multi-party Computation from any Linear Secret-Sharing Scheme
inferredcites →https://doi.org/10.1007/978-3-540-30576-7_18openalex-snapshot
Evaluating 2-DNF Formulas on Ciphertexts
inferredcites →https://doi.org/10.1007/978-3-540-70936-7_31openalex-snapshot
Evaluating Branching Programs on Encrypted Data
inferredcites →https://doi.org/10.1007/978-3-540-88313-5_13openalex-snapshot
Sharemind: A Framework for Fast Privacy-Preserving Computations
inferredcites →https://doi.org/10.1007/978-3-642-00468-1_10openalex-snapshot
Asynchronous Multiparty Computation: Theory and Implementation
inferredcites →https://doi.org/10.1007/978-3-642-13013-7_25openalex-snapshot
Fully Homomorphic Encryption with Relatively Small Key and Ciphertext Sizes
inferredcites →https://doi.org/10.1007/978-3-642-13190-5_2openalex-snapshot
Fully Homomorphic Encryption over the Integers
inferredcites →https://doi.org/10.1007/978-3-642-13190-5_23openalex-snapshot
Perfectly Secure Multiparty Computation and the Computational Overhead of Cryptography
inferredcites →https://doi.org/10.1007/978-3-642-13190-5_26openalex-snapshot
A Simple BGN-Type Cryptosystem from LWE
inferredcites →https://doi.org/10.1007/978-3-642-14165-2_14openalex-snapshot
From Secrecy to Soundness: Efficient Verification via Secure Computation
inferredcites →https://doi.org/10.1007/978-3-642-14623-7_31openalex-snapshot
Secure Multiparty Computation with Minimal Interaction
inferredcites →https://doi.org/10.1007/978-3-642-20465-4_9openalex-snapshot
Implementing Gentry’s Fully-Homomorphic Encryption Scheme
inferredcites →https://doi.org/10.1007/s00145-008-9036-8openalex-snapshot
A Proof of Security of Yao’s Protocol for Two-Party Computation
inferredcites →https://doi.org/10.1016/j.tcs.2010.01.025openalex-snapshot
Arrows for secure information flow
inferredcites →https://doi.org/10.1109/csf.2007.6openalex-snapshot
A Library for Secure Multi-threaded Information Flow in Haskell
inferredcites →https://doi.org/10.1109/csf.2012.30openalex-snapshot
Information-Flow Control for Programming on Encrypted Data
inferredcites →https://doi.org/10.1109/csfw.2002.1021826openalex-snapshot
A simple view of type-secure information flow in the π-calculus
inferredcites →https://doi.org/10.1109/csfw.2006.13openalex-snapshot
Encoding Information Flow in Haskell
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/sfcs.1982.88openalex-snapshot
Protocols for secure computations
inferredcites →https://doi.org/10.1109/sfcs.2000.892118openalex-snapshot
Randomizing polynomials: A new representation with applications to round-efficient secure computation
inferredcites →https://doi.org/10.1109/sp.2007.5openalex-snapshot
A Cryptographic Decentralized Label Model
inferredcites →https://doi.org/10.1145/100216.100287openalex-snapshot
The round complexity of secure protocols
inferredcites →https://doi.org/10.1145/1255329.1255333openalex-snapshot
A domain-specific programming language for secure multiparty computation
inferredcites →https://doi.org/10.1145/1411286.1411289openalex-snapshot
A library for light-weight information-flow security in haskell
inferredcites →https://doi.org/10.1145/1481861.1481868openalex-snapshot
A generic type-and-effect system
inferredcites →https://doi.org/10.1145/1536414.1536440openalex-snapshot
Fully homomorphic encryption using ideal lattices
inferredcites →https://doi.org/10.1145/1666420.1666444openalex-snapshot
Computing arbitrary functions of encrypted data
inferredcites →https://doi.org/10.1145/199448.199528openalex-snapshot
Monad transformers and modular interpreters
inferredcites →https://doi.org/10.1145/2046707.2046747openalex-snapshot
Information-flow types for homomorphic encryptions
inferredcites →https://doi.org/10.1145/233551.233553openalex-snapshot
Software protection and simulation on oblivious RAMs
inferredcites →https://doi.org/10.1145/277697.277716openalex-snapshot
Simplified VSS and fast-track multiparty computations with applications to threshold cryptography
inferredcites →https://doi.org/10.1145/380752.380855openalex-snapshot
Communication preserving protocols for secure function evaluation
inferredcites →https://doi.org/10.1145/503272.503302openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.1145/565816.503302openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.1145/581690.581691openalex-snapshot
Template meta-programming for Haskell
inferredcites →https://doi.org/10.1145/582153.582176openalex-snapshot
Principal type-schemes for functional programs
inferredcites →https://doi.org/10.1145/636517.636528openalex-snapshot
Template meta-programming for Haskell
inferredcites →https://doi.org/10.4230/lipics.fsttcs.2011.6openalex-snapshot
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk)
inferredcites →https://doi.org/10.7146/brics.v12i18.21884openalex-snapshot
Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions with Real-World Applications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_11openalex-snapshot
SMT-Boosted Security Types for Low-Level MPC
inferred← citeshttps://doi.org/10.1007/978-3-319-50011-9_32openalex-snapshot
Optimizing Secure Computation Programs with Private Conditionals
inferred← citeshttps://doi.org/10.1007/978-981-19-2719-5_63openalex-snapshot
State of the Art on Cloud-Information Flow Control
inferred← citeshttps://doi.org/10.1007/s10619-018-7228-2openalex-snapshot
Information flow control on encrypted data for service composition among multiple clouds
inferred← citeshttps://doi.org/10.1016/j.clet.2022.100481openalex-snapshot
Blockchain-based trust management and authentication of devices in smart grid
inferred← citeshttps://doi.org/10.1109/csf.2013.12openalex-snapshot
Oblivious Program Execution and Path-Sensitive Non-interference
inferred← citeshttps://doi.org/10.1109/csf.2018.00017openalex-snapshot
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks
inferred← citeshttps://doi.org/10.1109/csf68417.2026.00026openalex-snapshot
Dolev-Yao Information Flow
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00043openalex-snapshot
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning
inferred← citeshttps://doi.org/10.1109/nana.2017.61openalex-snapshot
Distributed Information Flow Verification on Encrypted Data for Service Composition in Multiple Clouds
inferred← citeshttps://doi.org/10.1109/secdev.2017.24openalex-snapshot
FaCT: A Flexible, Constant-Time Programming Language
inferred← citeshttps://doi.org/10.1109/sp.2014.48openalex-snapshot
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00092openalex-snapshot
CrypTFlow: Secure TensorFlow Inference
inferred← citeshttps://doi.org/10.1145/2381913.2381928openalex-snapshot
Towards an interpreter for efficient encrypted computation
inferred← citeshttps://doi.org/10.1145/2637113.2637119openalex-snapshot
Domain-Polymorphic Programming of Privacy-Preserving Applications
inferred← citeshttps://doi.org/10.1145/2642937.2643006openalex-snapshot
Program analysis for secure big data processing
inferred← citeshttps://doi.org/10.1145/2799979.2800006openalex-snapshot
The general model of secure computation system
inferred← citeshttps://doi.org/10.1145/2810103.2813664openalex-snapshot
A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols
inferred← citeshttps://doi.org/10.1145/2998392.2998403openalex-snapshot
SecureScala: Scala embedding of secure computations
inferred← citeshttps://doi.org/10.1145/3314221.3314605openalex-snapshot
FaCT: a DSL for timing-sensitive computation
inferred← citeshttps://doi.org/10.1145/3411506.3417597openalex-snapshot
Short Paper: Secure Multiparty Logic Programming
inferred← citeshttps://doi.org/10.1145/3479394.3479410openalex-snapshot
PrivaLog: a Privacy-aware Logic Programming Language
inferred← citeshttps://doi.org/10.1145/3678232.3678246openalex-snapshot
Language-Based Security for Low-Level MPC
inferred← citeshttps://doi.org/10.1145/3698234openalex-snapshot
Universal Composability Is Robust Compilation
inferred← citeshttps://doi.org/10.4230/lipics.stacs.2014.554openalex-snapshot
Data-Oblivious Data Structures
inferred← citeshttps://doi.org/10.5171/2013.655710openalex-snapshot
Cloud Computing: Security and Reliability Issues
inferred← citeshttps://doi.org/10.70675/c39e4a00z7d9dz4d18za65ez8d2292e27605openalex-snapshot
Robust and privacy preserving distributed machine learning
showing the first 31 of 32 · page through all 32
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.