Dynamic Logic Reconfiguration Based Side-Channel Protection of AES and Serpent.
Petr SochaJan BrejníkStanislav JerabekMartin NovotnýNele MentensPublished in: DSD (2019)
Keyphrases
- dynamic logic
- block cipher
- encryption algorithm
- s box
- secret key
- smart card
- modal logic
- information security
- security analysis
- reasoning about actions
- pseudorandom
- encryption scheme
- hash functions
- lightweight
- imperative programs
- digital content
- propositional dynamic logic
- initial conditions
- key management
- ciphertext
- machine learning
- public key
- low cost