Deniable Functional Encryption
From MaRDI portal
Publication:2798776
DOI10.1007/978-3-662-49384-7_8zbMath1388.94049OpenAlexW2279529558MaRDI QIDQ2798776
Adam O'Neill, Vincenzo Iovino, Angelo De Caro
Publication date: 13 April 2016
Published in: Public-Key Cryptography – PKC 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-49384-7_8
Related Items (5)
Deniable fully homomorphic encryption from learning with errors ⋮ Deniable Attribute Based Encryption for Branching Programs from LWE ⋮ Explainable arguments ⋮ Subverting deniability ⋮ Fully deniable interactive encryption
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Smoothed model checking for uncertain continuous-time Markov chains
- Real-time dynamic programming for Markov decision processes with imprecise probabilities
- A tutorial on geometric programming
- Parameter synthesis for Markov models: faster than ever
- Global Optimization with Polynomials and the Problem of Moments
- Dependent types and multi-monadic effects in F*
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
- Solving Non-linear Arithmetic
- Secure High-Rate Transaction Processing in Bitcoin
- Quantitative Multi-objective Verification for Probabilistic Systems
- Model Repair for Probabilistic Systems
- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters
- Fast randomized consensus using shared memory
- The Probabilistic Model Checking Landscape
- Pareto Curves for Probabilistic Model Checking
- Markovian Decision Processes with Uncertain Transition Probabilities
- Multi-objective Model Checking of Markov Decision Processes
This page was built for publication: Deniable Functional Encryption