[rwth-security] 𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity

Hallo zusammen, sofern nicht selber schon gesehen/-lesen hier [0] FYI "𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity" VG Bernd [0] https://comsec.ethz.ch/research/hardware-design-security/mucfi/ -- Bernd Kohler IT Center Abteilung: Netze RWTH Aachen University Wendlingweg 10 52074 Aachen Tel: +49 241 80-29793 Fax: +49 241 80-22666 kohler@itc.rwth-aachen.de www.itc.rwth-aachen.de Social Media Kanäle des IT Centers: https://blog.rwth-aachen.de/itc/ https://www.facebook.com/itcenterrwth https://www.linkedin.com/company/itcenterrwth https://twitter.com/ITCenterRWTH https://www.youtube.com/channel/UCKKDJJukeRwO0LP-ac8x8rQ