Loading Events

Events for August 23, 2019

Events Search and Views Navigation

Event Views Navigation

10:00 am

Faculty Research Colloquium – Mu Zhang

August 23 @ 10:00 am - 11:00 am
3147 MEB

Mu Zhang Assistant Professor 10:00 -11:00am 3147 MEB Towards Automated Safety Vetting of PLC Code in Real-World Plants Abstract: Safety violations in programmable logic controllers (PLCs), caused either by faults or attacks, have recently garnered significant attention. However, prior efforts at PLC code vetting suffer from many drawbacks. Static analyses and verification cause significant false […]

Find out more »
+ Export Events