RAWG Meeting: Formal Methods and Verification

Monday 9 Dec 2024, 14:00 → 15:00 Europe/Zurich

774/1-079 (CERN)

774/1-079

CERN

20

Show room on map

65084881104

Felix Johannes Waldhauser

- 14:00 → 14:25
  
  𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity 25m
  
  Speaker: Katharina Ceesay-Seitz (ETH Zurich)
  
  mucfi_CERN-2.pdf
- 14:25 → 14:50
  
  PLCverif Extension: Verifying LTL Properties via Monitor Generation 25m
  
  Speaker: Xaver Eugen Fink (Rheinisch Westfaelische Tech. Hoch. (DE))
  
  PLCverif_monitoring_rawg.pdf
- 14:50 → 15:00
  
  Discussion 10m