학술논문
'학술논문'
에서 검색결과 32건 | 목록
1~10
Academic Journal
Delignat-Lavaud, A.; Fournet, C.; Vaswani, K.; Costa, M.; Clebsch, S.; Riechert, M.; Russinovich, M.
In: Communications of the ACM . (Communications of the ACM, 21 December 2023, 67(1):68-76)
Academic Journal
Delignat-Lavaud, A.; Fournet, C.; Vaswani, K.; Clebsch, S.; Riechert, M.; Costa, M.; Russinovich, M.
In: Queue . (Queue, 31 August 2023, 21(4):94-122)
Academic Journal
Russinovich, M.; Bhatia, V.; Costa, M.; Fournet, C.; Chisnall, D.; Delignat-Lavaud, A.; Clebsch, S.; Vaswani, K.
In: Communications of the ACM . (Communications of the ACM, June 2021, 64(6):54-61)
Academic Journal
Russinovich, M.; Costa, M.; Chisnall, D.; Delignat-Lavaud, A.; Clebsch, S.; Fournet, C.; Vaswani, K.; Bhatia, V.
In: Queue . (Queue, 28 February 2021, 19(1))
Conference
In: CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023 , CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. (CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 11 January 2023, :275-289)
Academic Journal
Protzenko, J.; Rastogi, A.; Ramananandro, T.; Zanella-Béguelin, S.; Delignat-Lavaud, A.; Fournet, C.; Swamy, N.; Zinzindohoue, J.-K.; Hriţcu, C.; Bhargavan, K.; Wang, P.
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, September 2017, 1(ICFP))
Book
In: Advances in Cryptology – ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13791 LNCS:621-650)
Conference
Shamis, A.; Pietzuch, P.; Canakci, B.; Castro, M.; Fournet, C.; Ashton, E.; Chamayou, A.; Clebsch, S.; Delignat-Lavaud, A.; Maffre, J.; Vrousgou, O.; Wintersteiger, C.M.; Costa, M.; Kerner, M.; Russinovich, M.
In: Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022 , Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, 2022, :467-491)
Academic Journal
Beurdouche, B.; Bhargavan, K.; Pironti, A.; Delignat-Lavaud, A.; Fournet, C.; Kohlweiss, M.; Strub, P.-Y.; Zinzindohoue, J.K.
In: Communications of the ACM . (Communications of the ACM, February 2017, 60(2):99-107)
Academic Journal
Swamy, N.; Keller, C.; Fournet, C.; Kohlweiss, M.; Zanella-Béguelin, S.; Hritçu, C.; Delignat-Lavaud, A.; Forest, S.; Bhargavan, K.; Zinzindohoue, J.-K.; Rastogi, A.; Strub, P.-Y.
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, 8 April 2016, 51(1):256-270)
검색 결과 제한하기
제한된 항목
[AR] Delignat-Lavaud, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어