학술논문
'학술논문'
에서 검색결과 98건 | 목록
1~10
Conference
2022 IEEE 35th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2022 IEEE 35th. :64-79 Aug, 2022
Conference
Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel; Muylder, Antoine Van; Winterhalter, Theo; Hritcu, Catalin; Maillard, Kenji; Spitters, Bas
2021 IEEE 34th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2021 IEEE 34th. :1-15 Jun, 2021
Conference
2021 IEEE 34th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2021 IEEE 34th. :1-14 Jun, 2021
Academic Journal
Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; author Winterhalter, Abate, Théo Carmine; Sidorenco, Nikolaj; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas; author
ACM Transactions on Programming Languages and Systems. 45(3):1-61
Conference
2019 IEEE 32nd Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2019 IEEE 32nd. :256-25615 Jun, 2019
검색 결과 제한하기
제한된 항목
[AR] Hritcu, Catalin
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어