Moosa Yahyazadeh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FMCAD | CRV: Automated Cyber-Resiliency Reasoning for System Design Models. | Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
| 2021 | CCS | 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 |
| 2020 | RV | PatrIoT: Policy Assisted Resilient Programmable IoT System. | Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury |
| 2019 | NDSS | 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 |
| 2019 | SACMAT | Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms. | Moosa Yahyazadeh, Proyash Podder, Md. Endadul Hoque, Omar Chowdhury |
| 2017 | DCOSS | PHASER - A Phase-Shifting Antenna for Low-Power Directional Communication. | Leo Selavo, Dhruv Vyas, Moosa Yahyazadeh, Octav Chipara |