Paulo Jorge Esteves Veríssimo

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 37

Top Topics

Intrusion Tolerant

Information Leakage

Privacy Preserving

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Computers

Publications

Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo
Resilient and Secure Programmable System-on-Chip Accelerator Offload. CoRR (2024)
Rafal Graczyk, Marcus Völp, Paulo Jorge Esteves Veríssimo
EphemeriShield - defence against cyber-antisatellite weapons. CoRR (2021)
Runchao Han, Jiangshan Yu, Haoyu Lin, Shiping Chen, Paulo Jorge Esteves Veríssimo
On the Security and Performance of Blockchain Sharding. IACR Cryptol. ePrint Arch. 2021 (2021)
Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Paulo Jorge Esteves Veríssimo
DyPS: Dynamic, Private and Secure GWAS. Proc. Priv. Enhancing Technol. 2021 (2) (2021)
Inês Pinto Gouveia, Marcus Völp, Paulo Jorge Esteves Veríssimo
Behind the Last Line of Defense - Surviving SoC Faults and Intrusions. CoRR (2020)
David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo
PISTIS: From a Word-of-Mouth to a Gentleman's Agreement. CoRR (2020)
Maria Fernandes, Jérémie Decouchant, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment. IEEE J. Biomed. Health Informatics 24 (3) (2020)
Paulo Jorge Esteves Veríssimo, Jérémie Decouchant, Marcus Völp, Alireza Esfahani, Rafal Graczyk
PriLok: Citizen-protecting distributed epidemic tracing. CoRR (2020)
Diego Kreutz, Jiangshan Yu, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo
ANCHOR: Logically Centralized Security for Software-Defined Networks. ACM Trans. Priv. Secur. 22 (2) (2019)
Jérémie Decouchant, Antoine Boutet, Jiangshan Yu, Paulo Jorge Esteves Veríssimo
P3LS: Plausible Deniability for Practical Privacy-Preserving Live Streaming. SRDS (2019)
Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo
Re-Thinking Untraceability in the CryptoNote-Style Blockchain. CSF (2019)
Ivana Vukotic, Vincent Rahli, Paulo Jorge Esteves Veríssimo
Asphalion: trustworthy shielding against Byzantine faults. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. IEEE Trans. Computers 68 (3) (2019)
Jiangshan Yu, David Kozhaya, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
RepuCoin: Your Reputation Is Your Power. IEEE Trans. Computers 68 (8) (2019)
Andrew Paverd, Marcus Völp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Jorge Esteves Veríssimo, Andreas Steininger, Thorsten Holz
Sustainable Security & Safety: Challenges and Opportunities. CERTS (2019)
Jiangshan Yu, Man Ho Allen Au, Paulo Jorge Esteves Veríssimo
Re-thinking untraceability in the CryptoNote-style blockchain. IACR Cryptol. ePrint Arch. 2019 (2019)
Antônio Augusto Fröhlich, Roberto Milton Scheffel, David Kozhaya, Paulo Jorge Esteves Veríssimo
Byzantine Resilient Protocol for the IoT. IEEE Internet Things J. 6 (2) (2019)
Christopher Natoli, Jiangshan Yu, Vincent Gramoli, Paulo Jorge Esteves Veríssimo
Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure. CoRR (2019)
Christoph Lambert, Maria Fernandes, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
MaskAl: Privacy Preserving Masked Reads Alignment using Intel SGX. SRDS (2018)
Diego Kreutz, Jiangshan Yu, Paulo Jorge Esteves Veríssimo, Catia Magalhaes, Fernando M. V. Ramos
The KISS Principle in Software-Defined Networking: A Framework for Secure Communications. IEEE Secur. Priv. 16 (5) (2018)
David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. CoRR (2018)
Christoph Lambert, Marcus Völp, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
Towards Real-Time-Aware Intrusion Tolerance. SRDS (2018)
Marcus Völp, Paulo Jorge Esteves Veríssimo
Intrusion-Tolerant Autonomous Driving. ISORC (2018)
Jiangshan Yu, David Kozhaya, Jérémie Decouchant, Paulo Jorge Esteves Veríssimo
RepuCoin: Your Reputation is Your Power. IACR Cryptol. ePrint Arch. 2018 (2018)
Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. ESOP (2018)
Kristin Krüger, Gerhard Fohler, Marcus Völp, Paulo Jorge Esteves Veríssimo
Improving Security for Time-Triggered Real-Time Systems with Task Replication. RTCSA (2018)
Jérémie Decouchant, Maria Fernandes, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
Accurate filtering of privacy-sensitive information in raw genomic data. J. Biomed. Informatics 82 (2018)
Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha
Meeting the Challenges of Critical and Extreme Dependability and Security. PRDC (2017)
Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Margarida Gama-Carvalho, Maria Fernandes, Paulo Jorge Esteves Veríssimo
How Can Photo Sharing Inspire Sharing Genomes? PACBB (2017)
Marcus Völp, Jérémie Decouchant, Christoph Lambert, Maria Fernandes, Paulo Jorge Esteves Veríssimo
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures. SysTEX@SOSP (2017)
Gary Cornelius, Patrice Caire, Nico Hochgeschwender, Miguel A. Olivares-Méndez, Paulo Jorge Esteves Veríssimo, Marcus Völp, Holger Voos
A Perspective of Security for Mobile Service Robots. ROBOT (1) (2017)
Diego Kreutz, Paulo Jorge Esteves Veríssimo, Catia Magalhaes, Fernando M. V. Ramos
The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure. CoRR (2017)
Diego Kreutz, Jiangshan Yu, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo
ANCHOR: logically-centralized security for Software-Defined Networks. CoRR (2017)
Maria Fernandes, Jérémie Decouchant, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
Cloud-Assisted Read Alignment and Privacy. PACBB (2017)
Marcus Völp, Francisco Rocha, Jeremie Decouchant, Jiangshan Yu, Paulo Jorge Esteves Veríssimo
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come. Security Protocols Workshop (2017)
Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo
Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. SysTEX@Middleware (2016)
Antonio Lima, Francisco Rocha, Marcus Völp, Paulo Jorge Esteves Veríssimo
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. CPS-SPC@CCS (2016)
Diego Kreutz, Fernando M. V. Ramos, Paulo Jorge Esteves Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig
Software-Defined Networking: A Comprehensive Survey. Proc. IEEE 103 (1) (2015)
Paulo Jorge Esteves Veríssimo
MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems. DSN Workshops (2015)
Paulo Jorge Esteves Veríssimo, Alysson Neves Bessani
E-biobanking: What Have You Done to My Cell Samples? IEEE Secur. Priv. 11 (6) (2013)
Paulo Jorge Esteves Veríssimo
Redundant media mechanisms for dependable communication in token-bus LANs. LCN (1988)