Moosa Yahyazadeh

According to our database, Moosa Yahyazadeh authored at least 9 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

CRV: Automated Cyber-Resiliency Reasoning for System Design Models.

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

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

Syst., 2021

Morpheus: Bringing The (PKCS) One To Meet the Oracle.

Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Joyanta Debnath, Sheung Chiu Ip, Chun Ngai Li, Md. Endadul Hoque, Omar Chowdhury

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

PatrIoT: Policy Assisted Resilient Programmable IoT System.

Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms.

Moosa Yahyazadeh, Proyash Podder, Md. Endadul Hoque, Omar Chowdhury

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification.

Sze Yiu Chau, Moosa Yahyazadeh, Omar Chowdhury, Aniket Kate, Ninghui Li

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2017

PHASER - A Phase-Shifting Antenna for Low-Power Directional Communication.

Leo Selavo, Dhruv Vyas, Moosa Yahyazadeh, Octav Chipara

Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, 2017

2015

BotGrab: A negative reputation system for botnet detection.

Moosa Yahyazadeh, Mahdi Abadi

Comput. Electr. Eng., 2015

2012

BotOnus: an online unsupervised method for Botnet detection.

Moosa Yahyazadeh, Mahdi Abadi

ISC Int. J. Inf. Secur., 2012