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

المؤلفون: Grilo, Miguel, Ferreira, João F., Almeida, José Bacelar

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

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

المؤلفون: Almeida, Jose Bacelar, Barbosa, Manuel, Barthe, Gilles, Pacheco, Hugo, Pereira, Vitor, Portela, Bernardo

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

Relation: 2018 IEEE 31st 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

المؤلفون: Grilo, Miguel^Aff9, Campos, João^Aff10, Ferreira, João F.^Aff10, Almeida, José Bacelar^Aff11, Mendes, Alexandra^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, Yung, Moti, Editorial Board Member^Aff6, ter Beek, Maurice H., editor^Aff7, Monahan, Rosemary, editor^Aff8

المصدر: Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings. 13274:271-288

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

المؤلفون: Almeida, José Bacelar, Pinto, Jorge Sousa

مصطلحات موضوعية: Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science

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

المؤلفون: Almeida, José Bacelar^{Aff14, Aff15}, Barbosa, Manuel^{Aff14, Aff16}, Barthe, Gilles^Aff17, Dupressoir, François^Aff17

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Peyrin, Thomas, editor^Aff13

المصدر: Fast Software Encryption : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers. 9783:163-184

المؤلفون: Almeida, José Bacelar.

المساهمون: Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.

مصطلحات موضوعية: Symbolic and Algebraic Manipulation., Logics and Meanings of Programs., Software engineering., Computer science., Algebra -- Data processing., Logic design.