| 2026 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Xiaojie Zhu, Paulo Jorge Esteves Veríssimo, Willy Susilo
|
| 2025 |
— |
conf |
VTC2025-Spring
Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo
|
| 2025 |
J |
jnl |
CoRR
Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo
|
| 2025 |
— |
conf |
VTC2025-Spring
Erick Silva, Tadeu Freitas, Rehana Yasmin, Ali Shoker, Paulo Jorge Esteves Veríssimo
|
| 2024 |
A |
conf |
DSN
Houzhe Wang, Xiaojie Zhu, Chi Chen, Paulo Jorge Esteves Veríssimo
|
| 2024 |
A |
conf |
DSN
Xingyu Su, Xiaojie Zhu, Yang Li, Yong Li, Chi Chen, Paulo Jorge Esteves Veríssimo
|
| 2024 |
J |
jnl |
CoRR
Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo
|
| 2024 |
J |
jnl |
CoRR
Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo
|
| 2021 |
J |
jnl |
Proc. Priv. Enhancing Technol.
Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Paulo Jorge Esteves Veríssimo
|
| 2021 |
J |
jnl |
CoRR
Rafal Graczyk, Marcus Völp, Paulo Jorge Esteves Veríssimo
|
| 2021 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Runchao Han, Jiangshan Yu, Haoyu Lin, Shiping Chen, Paulo Jorge Esteves Veríssimo
|
| 2020 |
J |
jnl |
CoRR
Inês Pinto Gouveia, Marcus Völp, Paulo Jorge Esteves Veríssimo
|
| 2020 |
J |
jnl |
IEEE J. Biomed. Health Informatics
Maria Fernandes, Jérémie Decouchant, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
|
| 2020 |
J |
jnl |
CoRR
David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo
|
| 2020 |
J |
jnl |
CoRR
Paulo Jorge Esteves Veríssimo, Jérémie Decouchant, Marcus Völp, Alireza Esfahani, Rafal Graczyk
|
| 2019 |
J |
jnl |
ACM Trans. Priv. Secur.
Diego Kreutz, Jiangshan Yu, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Ivana Vukotic, Vincent Rahli, Paulo Jorge Esteves Veríssimo
|
| 2019 |
J |
jnl |
IEEE Internet Things J.
Antônio Augusto Fröhlich, Roberto Milton Scheffel, David Kozhaya, Paulo Jorge Esteves Veríssimo
|
| 2019 |
J |
jnl |
CoRR
Christopher Natoli, Jiangshan Yu, Vincent Gramoli, Paulo Jorge Esteves Veríssimo
|
| 2019 |
B |
conf |
SRDS
Jérémie Decouchant, Antoine Boutet, Jiangshan Yu, Paulo Jorge Esteves Veríssimo
|
| 2019 |
J |
jnl |
IEEE Trans. Computers
David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
|
| 2019 |
A |
conf |
CSF
Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo
|
| 2019 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo
|
| 2019 |
J |
jnl |
IEEE Trans. Computers
Jiangshan Yu, David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
|
| 2019 |
— |
conf |
CERTS
Andrew Paverd, Marcus Völp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Jorge Esteves Veríssimo, Andreas Steininger, Thorsten Holz
|
| 2018 |
J |
jnl |
J. Biomed. Informatics
Jérémie Decouchant, Maria Fernandes, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
|
| 2018 |
B |
conf |
RTCSA
Kristin Krüger, Gerhard Fohler, Marcus Völp, Paulo Jorge Esteves Veríssimo
|
| 2018 |
C |
conf |
ISORC
Marcus Völp, Paulo Jorge Esteves Veríssimo
|
| 2018 |
B |
conf |
SRDS
Christoph Lambert, Maria Fernandes, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
|
| 2018 |
J |
jnl |
CoRR
David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo
|
| 2018 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Jiangshan Yu, David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo
|
| 2018 |
J |
jnl |
IEEE Secur. Priv.
Diego Kreutz, Jiangshan Yu, Paulo Jorge Esteves Veríssimo, Catia Magalhaes, Fernando M. V. Ramos
|
| 2018 |
B |
conf |
SRDS
Christoph Lambert, Marcus Völp, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
|
| 2018 |
A |
conf |
ESOP
Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo
|
| 2017 |
— |
conf |
ROBOT (1)
Gary Cornelius, Patrice Caire, Nico Hochgeschwender, Miguel A. Olivares-Méndez, Paulo Jorge Esteves Veríssimo, Marcus Völp, Holger Voos
|
| 2017 |
J |
jnl |
CoRR
Diego Kreutz, Jiangshan Yu, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo
|
| 2017 |
Misc |
conf |
PACBB
Maria Fernandes, Jérémie Decouchant, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
|
| 2017 |
— |
conf |
SysTEX@SOSP
Marcus Völp, Jérémie Decouchant, Christoph Lambert, Maria Fernandes, Paulo Jorge Esteves Veríssimo
|
| 2017 |
Misc |
conf |
PACBB
Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Margarida Gama-Carvalho, Maria Fernandes, Paulo Jorge Esteves Veríssimo
|
| 2017 |
C |
conf |
PRDC
Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha
|
| 2017 |
— |
conf |
Security Protocols Workshop
Marcus Völp, Francisco Rocha, Jeremie Decouchant, Jiangshan Yu, Paulo Jorge Esteves Veríssimo
|
| 2017 |
J |
jnl |
CoRR
Diego Kreutz, Paulo Jorge Esteves Veríssimo, Catia Magalhaes, Fernando M. V. Ramos
|
| 2016 |
— |
conf |
SysTEX@Middleware
Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo
|
| 2016 |
— |
conf |
CPS-SPC@CCS
Antonio Lima, Francisco Rocha, Marcus Völp, Paulo Jorge Esteves Veríssimo
|
| 2015 |
— |
conf |
DSN Workshops
Paulo Jorge Esteves Veríssimo
|
| 2015 |
J |
jnl |
Proc. IEEE
Diego Kreutz, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig
|
| 2013 |
J |
jnl |
IEEE Secur. Priv.
Paulo Jorge Esteves Veríssimo, Alysson Neves Bessani
|
| 1988 |
B |
conf |
LCN
Paulo Jorge Esteves Veríssimo
|