System-Level Non-interference of Constant-Time Cryptography. Part I: Model.
Gilles BartheGustavo BetarteJuan Diego CampoCarlos LunaPublished in: J. Autom. Reason. (2019)
Keyphrases
- mathematical model
- high level
- probabilistic model
- theoretical analysis
- computational model
- statistical model
- formal model
- decision making
- probability distribution
- security model
- neural network
- linear model
- network model
- parameter values
- prediction model
- simulation model
- cellular automata
- computer science
- objective function
- similarity measure
- information retrieval