المؤلفون: Baelde, David, Koutsos, Adrien, Lallemand, Joseph

المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-13 Jun, 2023

Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Baelde, David, Delaune, Stephanie, Koutsos, Adrien, Moreau, Solene

المصدر: 2022 IEEE 35th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2022 IEEE 35th. :289-304 Aug, 2022

Relation: 2022 IEEE 35th Computer Security Foundations Symposium (CSF)

المؤلفون: Baelde, David, Delaune, Stephanie, Jacomme, Charlie, Koutsos, Adrien, Moreau, Solene

المصدر: 2021 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2021 IEEE Symposium on. :537-554 May, 2021

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

المؤلفون: Barthe, Gilles, Cauligi, Sunjay, Gregoire, Benjamin, Koutsos, Adrien, Liao, Kevin, Oliveira, Tiago, Priya, Swarn, Rezk, Tamara, Schwabe, Peter

المصدر: 2021 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2021 IEEE Symposium on. :1884-1901 May, 2021

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

المؤلفون: 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)

المؤلفون: Koutsos, Adrien

المصدر: 2019 IEEE European Symposium on Security and Privacy (EuroS&P) Security and Privacy (EuroS&P), 2019 IEEE European Symposium on. :464-479 Jun, 2019

Relation: 2019 IEEE European Symposium on Security and Privacy (EuroS&P)

المؤلفون: Koutsos, Adrien

المصدر: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2019 IEEE 32nd. :48-4813 Jun, 2019

Relation: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF)

المؤلفون: Calzavara, Stefano, Grishchenko, Ilya, Koutsos, Adrien, Maffei, Matteo

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

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

المؤلفون: Comon, Hubert, Koutsos, Adrien

المصدر: 2017 IEEE 30th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2017 IEEE 30th. :100-114 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