Formalisation of Bayesian concealment

DOI10.1007/S13160-021-00458-YzbMath1469.94117OpenAlexW3130919300MaRDI QIDQ2044153

Izumi Takeuti

Publication date: 4 August 2021

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s13160-021-00458-y

zbMATH Keywords

secret sharingformal proofBayesian theoryprobabilistic concealment

Mathematics Subject Classification ID

Cryptography (94A60) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Formal adventures in convex and conical spaces
• Formalisation of probabilistic concealment
• How to share a secret
• Foundations of Cryptography – A Primer
• Foundations of Homomorphic Secret Sharing
• Probability logic for type spaces

This page was built for publication: Formalisation of Bayesian concealment