Moosa Yahyazadeh

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Signal Processor

Signature Verification

Model Based Reasoning

Top Venues

Comput. Electr. Eng.

Publications

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. FMCAD (2023)
Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Joyanta Debnath, Sheung Chiu Ip, Chun Ngai Li, Md. Endadul Hoque, Omar Chowdhury
Morpheus: Bringing The (PKCS) One To Meet the Oracle. CCS (2021)
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury
PatrIoT: Policy Assisted Resilient Programmable IoT System. RV (2020)
Moosa Yahyazadeh, Proyash Podder, Md. Endadul Hoque, Omar Chowdhury
Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms. SACMAT (2019)
Sze Yiu Chau, Moosa Yahyazadeh, Omar Chowdhury, Aniket Kate, Ninghui Li
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification. NDSS (2019)
Leo Selavo, Dhruv Vyas, Moosa Yahyazadeh, Octav Chipara
PHASER - A Phase-Shifting Antenna for Low-Power Directional Communication. DCOSS (2017)
Moosa Yahyazadeh, Mahdi Abadi
BotGrab: A negative reputation system for botnet detection. Comput. Electr. Eng. 41 (2015)
Moosa Yahyazadeh, Mahdi Abadi
BotOnus: an online unsupervised method for Botnet detection. ISC Int. J. Inf. Secur. 4 (1) (2012)