maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.
Gilles BartheSonia BelaïdGaëtan CassiersPierre-Alain FouqueBenjamin GrégoireFrançois-Xavier StandaertPublished in: ESORICS (1) (2019)
Keyphrases
- automated verification
- higher order
- model checking
- automated reasoning
- formal verification
- high order
- pairwise
- default reasoning
- temporal logic
- natural images
- lambda calculus
- markov random field
- graph theory
- low order
- expressive power
- knowledge representation
- evolutionary algorithm
- domain theory
- real world
- data mining
- natural language
- default theories
- physical world
- probability distribution
- conditional random fields
- information loss
- human visual system
- graphical models