학술논문
'학술논문'
에서 검색결과 62건 | 목록
1~10
Conference
Rathee, Deevashwer; Bhattacharya, Anwesh; Sharma, Rahul; Gupta, Divya; Chandran, Nishanth; Rastogi, Aseem
2022 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2022 IEEE Symposium on. :576-595 May, 2022
Conference
2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :133-142 Oct, 2021
Conference
Rathee, Deevashwer; Rathee, Mayank; Kiran Goli, Rahul Kranti; Gupta, Divya; Sharma, Rahul; Chandran, Nishanth; Rastogi, Aseem
2021 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2021 IEEE Symposium on. :1003-1020 May, 2021
Conference
2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :336-353 May, 2020
Conference
Protzenko, Jonathan; Parno, Bryan; Fromherz, Aymeric; Hawblitzel, Chris; Polubelova, Marina; Bhargavan, Karthikeyan; Beurdouche, Benjamin; Choi, Joonwon; Delignat-Lavaud, Antoine; Fournet, Cedric; Kulatova, Natalia; Ramananandro, Tahina; Rastogi, Aseem; Swamy, Nikhil; Wintersteiger, Christoph M.; Zanella-Beguelin, Santiago
2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :983-1002 May, 2020
검색 결과 제한하기
제한된 항목
[AR] Rastogi, Aseem
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어