MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation

von Küennemann, Robert
Veröffentlicht in ESORICS (25. : 2020 : Online) Computer Security – ESORICS 2020 ; Part 2 (2020)

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries

von Khosrowjerdi, Hojat
Veröffentlicht in TAP (14. : 2020 : Online) Tests and proofs (2020)

Validation of Abstract Side-Channel Models for Computer Architectures

von Nemati, Hamed
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)