المؤلفون: Shivakumar, Basavesh Ammanaghatta, Barthe, Gilles, Gregoire, Benjamin, Laporte, Vincent, Oliveira, Tiago, Priya, Swarn, Schwabe, Peter, Tabary-Maujean, Lucas

المصدر: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1094-1111 May, 2023

Relation: 2023 IEEE Symposium on Security and Privacy (SP)

المؤلفون: Almeida, José Bacelar^{Aff9, Aff10}, Arranz Olmos, Santiago^Aff11, Barbosa, Manuel^{Aff10, Aff11, Aff12}, Barthe, Gilles^{Aff11, Aff13}, Dupressoir, François^Aff14, Grégoire, Benjamin^Aff15, Laporte, Vincent^Aff16, Léchenet, Jean-Christophe^Aff15, Low, Cameron^Aff14, Oliveira, Tiago^Aff17, Pacheco, Hugo^{Aff10, Aff12}, Quaresma, Miguel^Aff11, Schwabe, Peter^{Aff11, Aff18}, Strub, Pierre-Yves^Aff19

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Reyzin, Leonid, editor^Aff7, Stebila, Douglas, editor^Aff8

المصدر: Advances in Cryptology – CRYPTO 2024 : 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2024, Proceedings, Part II. 14921:384-421

المؤلفون: Almeida, Jose Bacelar, Barbosa, Manuel, Barthe, Gilles, Gregoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, Strub, Pierre-Yves

المصدر: 2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :965-982 May, 2020

Relation: 2020 IEEE Symposium on Security and Privacy (SP)

المؤلفون: Barthe, Gilles, Gregoire, Benjamin, Laporte, Vincent

المصدر: 2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :328-343 Jul, 2018

Relation: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)

المؤلفون: Barthe, Gilles, Blazy, Sandrine, Laporte, Vincent, Pichardie, David, Trieu, Alix

المصدر: 2017 IEEE 30th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2017 IEEE 30th. :405-419 Aug, 2017

Relation: 2017 IEEE 30th Computer Security Foundations Symposium (CSF)

المؤلفون: Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Grégoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, Strub, Pierre-Yves

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1904.04606

المؤلفون: Fournet, Cedric, Keller, Chantal, Laporte, Vincent

المصدر: 2016 IEEE 29th Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2016 IEEE 29th. :268-280 Jun, 2016

Relation: 2016 IEEE 29th Computer Security Foundations Symposium (CSF)

المؤلفون: Almeida, José Bacelar^Aff11, Barbosa, Manuel^Aff12, Barthe, Gilles^Aff13, Laporte, Vincent^Aff14, Oliveira, Tiago^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Bhargavan, Karthikeyan, editor^Aff8, Oswald, Elisabeth, editor^Aff9, Prabhakaran, Manoj, editor^Aff10

المصدر: Progress in Cryptology – INDOCRYPT 2020 : 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings. 12578:107-127

المؤلفون: Blazy, Sandrine, Laporte, Vincent, Maroneze, André, Pichardie, David

المصدر: SAS - 20th Static Analysis Symposium Lecture Notes in Computer Science (2013) 324-344

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1304.3596

المؤلفون: Laporte, Vincent

المصدر: Laporte, Vincent (2012) The European Union-an expanding security community? EU Diplomacy Paper 06/2012, August 2012. [Working Paper]

وصف الملف: application/pdf

Relation: http://www.coleurope.eu/sites/default/files/research-paper/edp_6_2012_laporte.pdf

URL الوصول: http://aei.pitt.edu/39242/