Moosa Yahyazadeh
Cited by
Cited by
Expectation-based policy analysis and enforcement for appified smart-home platforms
M Yahyazadeh, P Podder, E Hoque, O Chowdhury
Proceedings of the 24th ACM symposium on access control models and …, 2019
BotGrab: A negative reputation system for botnet detection
M Yahyazadeh, M Abadi
Computers & Electrical Engineering 41, 68-85, 2015
Architectural and behavioral analysis for cyber security
K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
BotOnus: An Online Unsupervised Method for Botnet Detection
M Yahyazadeh, M Abadi
ISeCure 4 (1), 2012
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification
SY Chau, M Yahyazadeh, O Chowdhury, A Kate, N Li
The Network and Distributed System Security Symposium (NDSS), 2019
Verdict: a language and framework for engineering cyber resilient and safe system
B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ...
Systems 9 (1), 18, 2021
Policy assisted resilient programmable IoT system
M Yahyazadeh, SR Hussain, E Hoque, O Chowdhury
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
BotCatch: Botnet detection based on coordinated group activities of compromised hosts
M Yahyazadeh, M Abadi
7'th International Symposium on Telecommunications (IST'2014), 941-945, 2014
Morpheus: Bringing the (pkcs) one to meet the oracle
M Yahyazadeh, SY Chau, L Li, MH Hue, J Debnath, SC Ip, CN Li, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
PHASER–A Phase-Shifting Antenna for Low-Power Directional Communication
L Selavo, D Vyas, M Yahyazadeh, O Chipara
2017 13th International Conference on Distributed Computing in Sensor …, 2017
Improving the resiliency of IoT systems
M Yahyazadeh
The University of Iowa, 2021
CRV: Automated Cyber-Resiliency Reasoning for System Design Models.
D Larraz, R Lorch, M Yahyazadeh, MF Arif, O Chowdhury, C Tinelli
FMCAD, 209-220, 2023
The system can't perform the operation now. Try again later.
Articles 1–12