학술논문
'학술논문'
에서 검색결과 78건 | 목록
1~10
Academic Journal
In: ACM Transactions on Privacy and Security . (ACM Transactions on Privacy and Security, 19 July 2023, 26(3))
Academic Journal
Almeida, J.B.; Barbosa, M.; Pacheco, H.; Barthe, G.; Oliveira, T.; Quaresma, M.; Schwabe, P.; Grégoire, B.; Léchenet, J.-C.; Laporte, V.; Séré, A.; Strub, P.-Y.
In: IACR Transactions on Cryptographic Hardware and Embedded Systems . (IACR Transactions on Cryptographic Hardware and Embedded Systems, 9 June 2023, 2023(3):164-193)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 9 January 2023, 7:833-865)
Book
Almeida, J.B.; Barbosa, M.; Pacheco, H.; Arranz Olmos, S.; Barthe, G.; Quaresma, M.; Schwabe, P.; Dupressoir, F.; Low, C.; Grégoire, B.; Léchenet, J.-C.; Laporte, V.; Oliveira, T.; Strub, P.-Y.
In: Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14921 LNCS:384-421)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2022, 18(2))
Conference
2014 IEEE 27th Computer Security Foundations Symposium Computer Security Foundations Symposium (CSF), 2014 IEEE 27th. :411-424 Jul, 2014
Conference
Proceedings 2001 International Conference on Image Processing (Cat. No.01CH37205) Image processing - ICIP 2001 Image Processing, 2001. Proceedings. 2001 International Conference on. 3:70-73 vol.3 2001
Academic Journal
In: Journal of Cryptographic Engineering . (Journal of Cryptographic Engineering, 1 April 2020, 10(1):17-26)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, October 2019, 15(4):18:1-18:32)
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, :17-29)
검색 결과 제한하기
제한된 항목
[AR] Strub, P.-Y.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어