RAWG Meeting: Formal Methods and Verification
Monday 9 December 2024 -
14:00
Monday 9 December 2024
14:00
𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity
-
Katharina Ceesay-Seitz
(
ETH Zurich
)
𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity
Katharina Ceesay-Seitz
(
ETH Zurich
)
14:00 - 14:25
Room: 774/1-079
14:25
PLCverif Extension: Verifying LTL Properties via Monitor Generation
-
Xaver Eugen Fink
(
Rheinisch Westfaelische Tech. Hoch. (DE)
)
PLCverif Extension: Verifying LTL Properties via Monitor Generation
Xaver Eugen Fink
(
Rheinisch Westfaelische Tech. Hoch. (DE)
)
14:25 - 14:50
Room: 774/1-079
14:50
Discussion
Discussion
14:50 - 15:00
Room: 774/1-079