Follow
Moosa Yahyazadeh
Title
Cited by
Cited by
Year
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
402019
BotGrab: A negative reputation system for botnet detection
M Yahyazadeh, M Abadi
Computers & Electrical Engineering 41, 68-85, 2015
222015
BotOnus: An Online Unsupervised Method for Botnet Detection
M Yahyazadeh, M Abadi
ISeCure 4 (1), 2012
202012
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
182019
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
162019
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
152021
Policy assisted resilient programmable IoT system
M Yahyazadeh, SR Hussain, E Hoque, O Chowdhury
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
122020
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
92014
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
22017
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
12021
Improving the resiliency of IoT systems
M Yahyazadeh
The University of Iowa, 2021
12021
CRV: Automated Cyber-Resiliency Reasoning for System Design Models
D Larraz, R Lorch, M Yahyazadeh, MF Arif, O Chowdhury, C Tinelli
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 209, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–12