Tags

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
hardware-level verification
Feb 1, 2023
model checkers
Feb 1, 2023
security verification
Feb 1, 2023