Paulo Veríssimo

ORCID

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 5

Top Venues

CoRR

DSN Workshops

SRDS

IEEE Trans. Computers

Publications

Tong Cao, Jiangshan Yu, Jérémie Decouchant, Xiapu Luo, Paulo Veríssimo
Exploring the Monero Peer-to-Peer Network. Financial Cryptography (2020)
Tong Cao, Jiangshan Yu, Jérémie Decouchant, Xiapu Luo, Paulo Veríssimo
Exploring the Monero Peer-to-Peer Network. IACR Cryptol. ePrint Arch. 2019 (2019)
Alysson Bessani, Nuno Ferreira Neves, Paulo Veríssimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia
JITeR: Just-in-time application-layer routing. Comput. Networks 104 (2016)
Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Veríssimo
A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data. WPES@CCS (2015)
Paulo Veríssimo
SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects. DSN Workshops (2015)
Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Veríssimo
SCFS: A Shared Cloud-backed File System. USENIX Annual Technical Conference (2014)
Diego Kreutz, Fernando M. V. Ramos, Paulo Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig
Software-Defined Networking: A Comprehensive Survey. CoRR (2014)
Jogesh K. Muppala, Matti A. Hiltunen, Roy H. Campbell, Paulo Veríssimo
The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013. DSN (2013)
Diego Kreutz, Fernando M. V. Ramos, Paulo Veríssimo
Towards secure and dependable software-defined networks. HotSDN (2013)
Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, António Casimiro, Diego Kreutz, Paulo Veríssimo
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware (2013)
Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, Paulo Veríssimo
Efficient Byzantine Fault-Tolerance. IEEE Trans. Computers 62 (1) (2013)
Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Veríssimo
Benchmarking some Portuguese S&T system research units CoRR (2013)
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. 56 (6) (2013)
Paulo Veríssimo, Alysson Neves Bessani, Marcelo Pasin
The TClouds architecture: Open and resilient cloud-of-clouds computing. DSN Workshops (2012)
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
Critical Utility Infrastructural Resilience CoRR (2012)
Monica Dixit, António Casimiro, Paolo Lollini, Andrea Bondavalli, Paulo Veríssimo
Adaptare: Supporting automatic and dependable adaptation in dynamic environments. ACM Trans. Auton. Adapt. Syst. 7 (2) (2012)
António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan
TRONE: Trustworthy and Resilient Operations in a Network Environment. DSN Workshops (2012)
Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Veríssimo
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. SRDS (2012)
Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Veríssimo, Michael Waidner
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281). Dagstuhl Reports 2 (7) (2012)
José Rufino, Paulo Veríssimo, Ricardo Pinto, Carlos Almeida, Guilherme Arroz
Enforcing Dependability and Timeliness in CANELy - Application to Spaceborne Data Communication Systems. PECCS (2011)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Randomization can be a healer: consensus with dynamic omission failures. Distributed Comput. 24 (3-4) (2011)
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Reverse Engineering of Protocols from Network Traces. WCRE (2011)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Secur. Comput. 8 (1) (2011)
Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo
Byzantine consensus in asynchronous message-passing systems: a survey. Int. J. Crit. Comput. Based Syst. 2 (2) (2011)
Bernhard Kauer, Paulo Veríssimo, Alysson Neves Bessani
Recursive virtual machines for advanced security mechanisms. DSN Workshops (2011)
José Rufino, João Craveiro, Paulo Veríssimo
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics. SEUS (2010)
João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. 36 (3) (2010)
Carlos Silva, Paulo Sousa, Paulo Veríssimo
RAVE: Replicated antivirus engine. DSN Workshops (2010)
Paulo Veríssimo
Security Made, Not Perfect, But Automatic. Security Protocols Workshop (2010)
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Trans. Parallel Distributed Syst. 21 (4) (2010)
Paulo Veríssimo
Security Made, Not Perfect, But Automatic (Transcript of Discussion). Security Protocols Workshop (2010)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC (2009)
Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS (2009)
José Rufino, João Craveiro, Paulo Veríssimo
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. WADS (2009)
António Casimiro, José Rufino, Luis Marques, Mario Calha, Paulo Veríssimo
Applying Architectural Hybridization in Networked Embedded Systems. SEUS (2009)
Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo
On Byzantine generals with alternative plans. J. Parallel Distributed Comput. 68 (9) (2008)
Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Veríssimo
Information Assurance Technology Forecast 2008. IEEE Secur. Priv. 6 (1) (2008)
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE (2008)
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
The Crutial Way of Critical Infrastructure Protection. IEEE Secur. Priv. 6 (6) (2008)
Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA (2008)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
The CRUTIAL reference critical information infrastructure architecture: a blueprint. Int. J. Syst. Syst. Eng. 1 (1/2) (2008)
António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo
A framework for dependable QoS adaptation in probabilistic environments. SAC (2008)
Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo
Analysis of a Redundant Architecture for Critical Infrastructure Protection. WADS (2007)
Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo
+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. DISC (2007)
Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo
On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC (2007)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone
The CRUTIAL Architecture for Critical Information Infrastructures. WADS (2007)
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC (2007)
Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo
Automated Rule-Based Diagnosis through a Distributed Monitor System. IEEE Trans. Dependable Secur. Comput. 4 (4) (2007)
Hugo Ortiz, António Casimiro, Paulo Veríssimo
Architecture and Implementation of an Embedded Wormhole. SIES (2007)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC (2007)
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
Worm-IT - A wormhole-based intrusion-tolerant group communication system. J. Syst. Softw. 80 (2) (2007)
António Casimiro, Jörg Kaiser, Paulo Veríssimo
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. WADS (2006)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS (2006)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS (2006)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS (2006)
Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. IEEE Trans. Dependable Secur. Comput. 3 (3) (2006)
José Rufino, Paulo Veríssimo, Carlos Almeida, Guilherme Arroz
Integrating Inaccessibility Control and Timer Management in CANELy. ETFA (2006)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Randomized Intrusion-Tolerant Asynchronous Services. DSN (2006)
Paulo Veríssimo
Travelling through wormholes: a new look at distributed systems models. SIGACT News 37 (1) (2006)
Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch
Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. 4 (4) (2006)
Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
Using Attack Injection to Discover New Vulnerabilities. DSN (2006)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
Proactive resilience through architectural hybridization. SAC (2006)
Paulo Veríssimo
Thou Shalt Not Trust non-Trustworthy Systems. ICDCS Workshops (2006)
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49 (1) (2006)
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
Resilient State Machine Replication. PRDC (2005)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN (2005)
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
Low complexity Byzantine-resilient consensus. Distributed Comput. 17 (3) (2005)
Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distributed Syst. 16 (12) (2005)
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
A New Programming Model for Dependable Adaptive Real-Time Applications. IEEE Distributed Syst. Online 6 (5) (2005)
António Casimiro, Jörg Kaiser, Paulo Veríssimo
An architectural framework and a middleware for cooperating smart components. Conf. Computing Frontiers (2004)
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS (2004)
Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo
Tolerating Intrusions in Grid Systems. Security and Management (2004)
Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo
Dependable Adaptive Real-Time Applications in Wormhole-based Systems. DSN (2004)
Paulo Veríssimo
Trustworthiness of Open Information Systems: How Should It Be Achieved? SRDS (2003)
Paulo Veríssimo, António Casimiro
Event-Driven Support of Real-Time Sentient Objects. WORDS (2003)
José Rufino, Paulo Veríssimo, Guilherme Arroz
Node Failure Detection and Membership in CANELy. DSN (2003)
Paulo Veríssimo
Uncertainty and Predictability: Can They Be Reconciled? Future Directions in Distributed Computing (2003)
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
The Design of a COTSReal-Time Distributed Security Kernel. EDCC (2002)
Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS (2002)
António Casimiro, Paulo Veríssimo
Generic Timing Fault Tolerance using a Timely Computing Base. DSN (2002)
Paulo Veríssimo, António Casimiro
The Timely Computing Base Model and Architecture. IEEE Trans. Computers 51 (8) (2002)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
Intrusion-Tolerant Architectures: Concepts and Design. WADS (2002)
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
The logically instantaneous communication mode: a communication abstraction. Future Gener. Comput. Syst. 17 (6) (2001)
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops (2001)
António Casimiro, Paulo Veríssimo
Using the Timely Computing Base for Dependable QoS Adaptation. SRDS (2001)
António Casimiro, Pedro Martins, Luís E. T. Rodrigues, Paulo Veríssimo
Measuring Distributed Durations with Stable Error. RTSS (2001)
Paulo Veríssimo, António Casimiro, Christof Fetzer
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. DSN (2000)
Luís E. T. Rodrigues, Katherine Guo, Paulo Veríssimo, Kenneth P. Birman
A Dynamic Light-Weight Group Service. J. Parallel Distributed Comput. 60 (12) (2000)
José Rufino, Guilherme Arroz, Paulo Veríssimo
Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. ISORC (1999)
Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. PaCT (1999)
José Rufino, Paulo Veríssimo, Guilherme Arroz
A Columbus' Egg Idea for CAN Media Redundancy. FTCS (1999)
François J. N. Cosquer, Paulo Veríssimo, Sacha Krakowiak, Loïc Decloedt
Support for Distributed CSCW Applications. Advances in Distributed Systems (1999)
Luís E. T. Rodrigues, Paulo Veríssimo
Topology-Aware Algorithms for Large-Scale Communication. Advances in Distributed Systems (1999)
Paulo Veríssimo, Michel Raynal
Time in Distributed System Models and Algorithms. Advances in Distributed Systems (1999)
José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís E. T. Rodrigues
Fault-Tolerant Broadcasts in CAN. FTCS (1998)
Carlos Almeida, Paulo Veríssimo
Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. RTSS (1998)
José Rufino, Nuno Pedrosa, José Monteiro, Paulo Veríssimo, Guilherme Arroz
Hardware support for CAN fault-tolerant communication. ICECS (1998)
Paulo Veríssimo, Luís E. T. Rodrigues, António Casimiro
CesiumSpray: a Precise and Accurate Global Time Service for Large-scale Systems. Real Time Syst. 12 (3) (1997)
Paulo Veríssimo, José Rufino, Li Ming
How Hard is Hard Real-time Communication on Field-Buses?. FTCS (1997)

Paulo Veríssimo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paulo Veríssimo