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

Satyanarayana Vuppala, Alie El-Din Mady, Adam Kuenzi
Moving Target Defense Mechanism for Side-Channel Attacks. IEEE Syst. J. 14 (2) (2020)
Satyanarayana Vuppala, Alie El-Din Mady, Deepak Mehta
A Novel Asset Authentication Scheme for Cyber Physical Systems. GIoTS (2019)
Satyanarayana Vuppala, Alie El-Din Mady, Adam Kuenzi
Rekeying-based Moving Target Defence Mechanism for Side-Channel Attacks. GIoTS (2019)
Kaveh Paridari, Niamh O'Mahony, Alie El-Din Mady, Rohan Chabukswar, Menouer Boubekeur, Henrik Sandberg
A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration. Proc. IEEE 106 (1) (2018)
Fayola Peters, Sorren Hanvey, Suresh Veluru, Alie El-Din Mady, Menouer Boubekeur, Bashar Nuseibeh
Generating Privacy Zones in Smart Cities. ISC2 (2018)
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops (2017)
Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin
Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. CSDM (2016)
Kaveh Paridari, Alie El-Din Mady, Silvio La Porta, Rohan Chabukswar, Jacobo Blanco, André Teixeira, Henrik Sandberg, Menouer Boubekeur
Cyber-Physical-Security Framework for Building Energy Management System. ICCPS (2016)
Alie El-Din Mady, Gregory M. Provan, Ning Wei
Designing cost-efficient wireless sensor/actuator networks for building control systems. BuildSys@SenSys (2012)
Alie El-Din Mady, Gregory M. Provan
Co-design of Wireless Sensor-Actuator Networks for building controls. CDC/ECC (2011)
Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. AAAI (2011)
Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan
WSAN QoS Driven Control Model for Building Operations. SOCO (2010)
Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. SOCO (2010)