학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Conference
Meng, Baoluo; Debnath, Joyanta; Varanasi, Sarat Chandra; Manoloios, Emmanuel; Durling, Michael; Paul, Saswata; Prince, Daniel; Alsabbagh, Saif; Haadsma, Richard; McMillan, Craig; Zhang, Chi; Oates, Tim
2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :221-227 Oct, 2023
Conference
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. :1388-1404
Conference
Yahyazadeh, Moosa; Chau, Sze Yiu; Li, Li; Hue, Man Hong; Debnath, Joyanta; Ip, Sheung Chiu; Li, Chun Ngai; Hoque, Endadul; Chowdhury, Omar
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. :2474-2496
Conference
Hue, Man Hong; Debnath, Joyanta; Leung, Kin Man; Li, Li; Minaei, Mohsen; Mazhar, M. Hammad; Xian, Kailiang; Hoque, Endadul; Chowdhury, Omar; Chau, Sze Yiu
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. :1100-1117
검색 결과 제한하기
제한된 항목
[AR] Debnath, Joyanta
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
자료유형(Source Type)
주제어
언어