Tags

differential program analysis
Jul 1, 2023
hamming weight
Jul 1, 2023
post-quantum cryptography
Jul 1, 2023
power side-channels
Jul 1, 2023
relational program analysis
Jul 1, 2023
symbolic execution
Jul 1, 2023
energy harvesting
Feb 2, 2023
Intermittent computing
Feb 2, 2023
timing analysis
Feb 2, 2023
Formal methods
Feb 1, 2023