Achieving side-channel protection with dynamic logic reconfiguration on modern FPGAs.
Pascal SasdrichAmir MoradiOliver MischkeTim GüneysuPublished in: HOST (2015)
Keyphrases
- dynamic logic
- reasoning about actions
- modal logic
- imperative programs
- propositional dynamic logic
- countermeasures
- information security
- manufacturing systems
- field programmable gate array
- smart card
- first order logic
- relational databases
- temporal logic
- data quality
- hardware software
- protection scheme
- logic programming