Alie El-Din Mady

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 8

Top Topics

Cyber Physical Systems

Formal Verification

Moving Target Defense

Top Venues

BuildSys@SenSys

Publications