-
1Conference
المؤلفون: Boureanu, Ioana, Drăgan, Constantin Cătălin, Dupressoir, François, Gérault, David, Lafourcade, Pascal
المساهمون: University of Surrey (UNIS), University of Bristol Bristol, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), ANR-16-IDEX-0001,CAP 20-25,CAP 20-25(2016), ANR-18-CE39-0007,DeCrypt,Langage Déclaratif pour la cryptographie symétrique(2018), ANR-18-CE39-0019,MobiS5,La sécurité et la privacy dans les réseaux 5G(2018), ANR-20-CE39-0005,PRIVABIO,Vers des systèmes de reconnaissance biométrique respectueux de la vie privée(2020)
المصدر: IEEE Computer Security Foundations Symposium (was CSFW) ; https://uca.hal.science/hal-04402795 ; IEEE Computer Security Foundations Symposium (was CSFW), 2021, Dubrovnik, Croatia. pp.1-16, ⟨10.1109/CSF51468.2021.00049⟩
مصطلحات موضوعية: Protocols, Systematics, Computational modeling, Encoding, Cryptography, Relays, Computer security, distance-bounding, security-formalism, mechanised-proof, easycrypt, [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
-
2Conference
المؤلفون: Boureanu, Ioana, Drăgan, Constantin Cătălin, Dupressoir, François, Gérault, David, Lafourcade, Pascal
المساهمون: University of Surrey (UNIS), University of Bristol Bristol, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA)
المصدر: IEEE Computer Security Foundations Symposium (was CSFW) ; https://uca.hal.science/hal-04402795 ; IEEE Computer Security Foundations Symposium (was CSFW), 2021, Dubrovnik, Croatia. pp.1-16, ⟨10.1109/CSF51468.2021.00049⟩
مصطلحات موضوعية: Protocols, Systematics, Computational modeling, Encoding, Cryptography, Relays, Computer security, distance-bounding, security-formalism, mechanised-proof, easycrypt, [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: hal-04402795; https://uca.hal.science/hal-04402795; https://uca.hal.science/hal-04402795/document; https://uca.hal.science/hal-04402795/file/CSF2021%20%281%29.pdf
-
3Conference
المؤلفون: Boureanu, Ioana, Drăgan, Constantin Cătălin, Dupressoir, François, Gérault, David, Lafourcade, Pascal
المساهمون: University of Surrey (UNIS), University of Bristol Bristol, Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA)
المصدر: 2021 IEEE 34th Computer Security Foundations Symposium (CSF)
https://uca.hal.science/hal-04402795
2021 IEEE 34th Computer Security Foundations Symposium (CSF), IEEE, pp.1-16, 2021, 978-1-7281-7607-9. ⟨10.1109/CSF51468.2021.00049⟩مصطلحات موضوعية: Protocols, Systematics, Computational modeling, Encoding, Cryptography, Relays, Computer security, distance-bounding, security-formalism, mechanised-proof, easycrypt, [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: hal-04402795; https://uca.hal.science/hal-04402795; https://uca.hal.science/hal-04402795/document; https://uca.hal.science/hal-04402795/file/CSF2021%20%281%29.pdf