Tiago Oliveira
发表
João Paulo,
Ricardo Macedo,
Miguel Matos,
2017,
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).
João Leitão,
Henrique Domingos,
Bernardo Ferreira,
2020,
IEEE Transactions on Dependable and Secure Computing.
João Leitão,
Bernardo Ferreira,
Bernardo Portela,
2019,
2019 38th Symposium on Reliable Distributed Systems (SRDS).
Benjamin Grégoire,
Peter Schwabe,
Gilles Barthe,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
G. Barthe,
B. Grégoire,
P. Schwabe,
2023,
2023 IEEE Symposium on Security and Privacy (SP).
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
CCS.
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
IACR Cryptol. ePrint Arch..
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2019,
2020 IEEE Symposium on Security and Privacy (SP).
Benjamin Grégoire,
Gilles Barthe,
Pierre-Yves Strub,
2017,
CCS.
G. Barthe,
Pierre-Yves Strub,
M. Barbosa,
2023,
IACR Trans. Cryptogr. Hardw. Embed. Syst..
G. Barthe,
Pierre-Yves Strub,
M. Barbosa,
2023
.
Manuel Barbosa,
Vincent Laporte,
José Bacelar Almeida,
2020,
INDOCRYPT.