Login / Signup
Prouï¬ & Rivain's Formal Security Proof of Masking, Revisited: Tight Bounds in the Noisy Leakage Model.
Loïc Masure
François-Xavier Standaert
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
formal model
tight bounds
computational model
theoretical analysis
probabilistic model
high level
data model
security model
information systems
database systems
cost function
statistical model
experimental data
agent model
security analysis
formal models