Prouff and Rivain's Formal Security Proof of Masking, Revisited - Tight Bounds in the Noisy Leakage Model.
Loïc MasureFrançois-Xavier StandaertPublished in: CRYPTO (3) (2023)
Keyphrases
- wireless sensor networks
- formal model
- computational model
- tight bounds
- mathematical model
- statistical model
- theoretical framework
- upper bound
- probabilistic model
- probability distribution
- process model
- intrusion detection
- access control
- neural network
- hidden markov models
- cost function
- data model
- prior knowledge
- image sequences
- high level
- information systems