BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for pjverissimo
(103)
2014
SCFS: a Shared Cloud-backed File System
(2014)
Alysson Bessani et al., with 7 authors including:
Alysson Bessani
Nuno Neves
Marcelo Pasin
Paulo Verissimo
Conference papers
2014
Anchors of Trust for Secure Configuration and Trustworthiness Assessment in SDN
(2014)
Diego Kreutz
Paulo Verissimo
Fernando Ramos
Conference papers
2013
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
(2013)
Rolando Martins et al., with 7 authors including:
António Casimiro
Paulo Veríssimo
Conference papers
2013
Registo de dados indelével
(2013)
Cristiano Ramos Iria
Veríssimo, Paulo
Academic documents
2013
Interface díodo
(2013)
Sousa, Hugo David Martins
Veríssimo, Paulo
Academic documents
2013
Efficient Byzantine Fault Tolerance
(2013)
Giuliana Veronese
Miguel Correia
Alysson Bessani
Lau Lung
Paulo Verissimo
Journal articles
2013
BFT-TO: Intrusion Tolerance with Less Replicas
(2013)
Miguel Correia
Nuno Neves
Paulo Veríssimo
Journal articles
2013
Towards Secure and Dependable SDN
(2013)
Diego Kreutz
Fernando M. V. Ramos
Paulo Veríssimo
Conference papers
2012
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
(2012)
Mônica Dixit
António Casimiro
Paolo Lolinni
Andrea Bondavalli
Paulo Veríssimo
Journal articles
2012
TRONE: Trustworthy and Resilient Operations in a Network Environment
(2012)
António Casimiro et al., with 11 authors including:
António Casimiro
Paulo Veríssimo
Conference papers
2012
A Secure Architecture for a Recursive Virtualization Environment
(2012)
Amir Soltani Nezhad
António Casimiro
Paulo Veríssimo
Conference papers
2012
The TClouds architecture: Open and resilient cloud-of-clouds computing (DOI)
(2012)
Paulo Verissimo
Alysson Bessani
Marcelo Pasin
Conference papers
2012
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds
(2012)
Miguel Correia et al., with 6 authors including:
Marcelo Pasin
Fernando Ramos
Paulo Verissimo
Conference papers
2012
O Ensino da Engenharia Informática: Que Futuro?
(2012)
Paulo Veríssimo
Journal articles
2012
Proteção das Infraestruturas Críticas Nacionais: Um Imperativo Nacional
(2012)
Paulo Veríssimo
Conference papers
2012
Architectural resilience in cloud computing
(2012)
Paulo Veríssimo
Conference papers
2012
Beyond the glamour of Byzantine Fault Tolerance, OR why resisting intrusions means more than BFT
(2012)
Paulo Veríssimo
Conference papers
2012
Beyond the glamour of Byzantine Fault Tolerance, OR why resisting intrusions means more than BFT
(2012)
Paulo Veríssimo
Conference papers
2012
Can security- and privacy-critical applications be housed in the clouds? TClouds says yes!
(2012)
Paulo Veríssimo
Conference papers
2012
Citation Impact Discerning Self-Citation: Improving User Interaction
(2012)
Sousa, Tiago Alberto Paiva de
Couto, Francisco José Moreira
Veríssimo, Paulo
Academic documents
2011
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
(2011)
Henrique Moniz
Nuno Neves
Miguel Correia
Paulo Verissimo
Journal articles
2011
Reverse Engineering of Protocols from Network Traces
(2011)
João Antunes
Nuno Neves
Paulo Verissimo
Conference papers
2011
Recursive Virtual Machines for Advanced Security Mechanisms
(2011)
Bernhard Kauer
Paulo Veríssimo
Alysson Bessani
Conference papers
2011
RITAS: Services for Randomized Intrusion Tolerance
(2011)
Henrique Moniz
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Journal articles
2010
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
(2010)
José Rufino
João Craveiro
Paulo Veríssimo
Book chapters
2010
Vulnerability Discovery with Attack Injection
(2010)
João Antunes
Nuno F. Neves
Miguel P. Correia
Paulo Veríssimo
Rui Neves
Journal articles
2010
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
(2010)
Paulo Sousa
Alysson N. Bessani
Miguel P. Correia
Nuno F. Neves
Paulo Verissimo
Journal articles
2010
Randomized Consensus in Wireless Environments: A Case Where More is Better
(2010)
Bruno Vavala
Nuno F. Neves
Henrique Moniz
Paulo Verissimo
Conference papers
2010
Using Attack Injection on Closed Protocols
(2010)
João Antunes
Nuno F. Neves
Paulo Verissimo
Conference papers
2010
Building a time- and space-partitioned architecture for the next generation of space vehicle avionics
(2010)
José Rufino
João Craveiro
Paulo Verissimo
Conference papers
2010
Security made not Perfect but Automatic
(2010)
Paulo Veríssimo
Conference papers
2009
Applying architectural hybridization in networked embedded systems
(2009)
António Casimiro
José Rufino
Luís Marques
Mário Calha
Paulo Veríssimo
Conference papers
2009
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
(2009)
Henrique Moniz
Nuno F. Neves
Miguel Correia
Paulo Verissimo
Conference papers
2009
Probabilistic Adaptive Time-Aware Consensus
(2009)
Mônica Dixit
António Casimiro
Paulo Veríssimo
Conference papers
2009
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
(2009)
Paulo Veríssimo
Alysson Bessani
Miguel Correia
Nuno Ferreira Neves
Paulo Sousa
Conference papers
2009
Handling self-citations using Google Scholar
(2009)
Francisco Couto
Catia Pesquita
Tiago Grego
Paulo Verissimo
Journal articles
2008
A framework for dependable QoS adaptation in probabilistic environments
(2008)
António Casimiro
Paolo Lollini
Mônica Dixit
Andrea Bondavalli
Paulo Veríssimo
Conference papers
2008
Finite Memory: a Vulnerability of Intrusion-Tolerant Systems
(2008)
Giuliana Santos Veronese
Miguel Correia
Lau Cheuk Lung
Paulo Verissimo
Conference papers
2008
Detection and Prediction of Resource-Exhaustion Vulnerabilities
(2008)
João Antunes
Nuno Ferreira Neves
Paulo Verissimo
Conference papers
2008
The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint
(2008)
Paulo Veríssimo
Nuno F. Neves
Miguel Correia
Journal articles
2008
Towards Intrusion-Tolerant Process Control Software
(2008)
Hugo Ortiz
Paulo Sousa
Paulo Veríssimo
Conference papers
2008
Information Assurance Technology Forecast 2008
(2008)
Steven M. Bellovin et al., with 7 authors including:
Paulo Veríssimo
Journal articles
2007
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
(2007)
Paulo Sousa
Alysson Bessani
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2007
Hidden Problems of Asynchronous Proactive Recovery
(2007)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2007
Automated Rule-Based Diagnosis Through a Distributed Monitor System
(2007)
Gunjan Khanna et al., with 6 authors including:
Paulo Veríssimo
Journal articles
2007
Worm-IT ? A Wormhole-based Intrusion-Tolerant Group Communication System
(2007)
Miguel Correia
Nuno Ferreira Neves
Lau Cheuk Lung
Paulo Veríssimo
Journal articles
2007
When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus
(2007)
Alysson Neves Bessani
Miguel Correia
Henrique Moniz
Nuno F. Neves
Paulo Veríssimo
Conference papers
2007
Protecting CRUTIAL Things
(2007)
Alysson Neves Bessani
Paulo Sousa
Miguel Correia
Nuno F. Neves
Paulo Veríssimo
Conference papers
2007
On the Effects of Finite Memory on Intrusion-Tolerant Systems
(2007)
Giuliana Santos
Miguel Correia
Lau Cheuk Lung
Paulo Veríssimo
Conference papers
2007
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
(2007)
Henrique Moniz
Nuno F. Neves
Lau Cheuk Lung
Paulo Veríssimo
Conference papers
2007
Architecture and Implementation of an Embedded Wormhole
(2007)
Hugo Ortiz
António Casimiro
Paulo Veríssimo
Conference papers
2007
Finding Local Resource Exhaustion Vulnerabilities
(2007)
João Antunes
Nuno F. Neves
Paulo Veríssimo
Conference papers
2006
On the development of dependable embedded applications using specialized wormholes
(2006)
Casimiro A.
O. Mendizabal
P. Veríssimo
Conference papers
2006
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
(2006)
Correia M.
N. F. Neves
P. Veríssimo
Journal articles
2006
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
(2006)
Moniz H.
N. F. Neves
M. Correia
P. Veríssimo
Conference papers
2006
Randomized Intrusion-Tolerant Asynchronous Services
(2006)
Moniz H.
N. F. Neves
M. Correia
P. Veríssimo
Conference papers
2006
Using Attack Injection to Discover New Vulnerabilities
(2006)
N. F. Neves
J. Antunes
M. Correia
P. Veríssimo
R. Neves
Conference papers
2006
Proactive Resilience through Architectural Hybridization
(2006)
Sousa P.
N. F. Neves
P. Veríssimo
Conference papers
2006
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available
(2006)
Sousa P.
N. F. Neves
P. Veríssimo
W. H. Sanders
Conference papers
2006
Travelling through Wormholes: a new look at Distributed Systems Models
(2006)
Veríssimo P.
Journal articles
2006
Intrusion-Tolerant Middleware: The Road to Automatic Security
(2006)
Veríssimo P. et al., with 8 authors including:
Veríssimo P.
N. F. Neves
Journal articles
2006
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture
(2006)
Veríssimo P.
N. F. Neves
M. Correia
Conference papers
2005
Resilient State Machine Replication
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
A New Approach to Proactive Recovery
(2005)
Paulo Sousa
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Diagnóstico de Vulnerabilidades através da Injecção de Ataques
(2005)
João Antunes
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Rui Neves
Conference papers
2005
FTP Tolerante a Intrusões
(2005)
José Pascoal
Tiago Jorge
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões
(2005)
Pan Jieke
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2005
Solving Vector Consensus with a Wormhole
(2005)
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Journal articles
2005
Low Complexity Byzantine-Resilient Consensus
(2005)
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Lau Cheuk Lung
Journal articles
2005
A New Programming Model for Dependable Adaptive Real-Time Applications
(2005)
Pedro Martins
Paulo Sousa
António Casimiro
Paulo Veríssimo
Journal articles
2004
An Architectural Framework and a Middleware for Cooperating Smart Components
(2004)
António Casimiro
J. Kaiser
Paulo Veríssimo
Conference papers
2004
Tolerância a Intrusões num Sistema em Grid
(2004)
Luis Sardinha
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Tolerating Intrusions in Grid Systems
(2004)
Luis Sardinha
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Byzantine-ResistanceConsensus based on a Novel Approach to Intrusion Tolerance
(2004)
Miguel Correia
Nuno Ferreira Neves
Lau Lung
Paulo Veríssimo
Conference papers
2004
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
(2004)
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Wormhole-Aware Byzantine Protocols
(2004)
Nuno Ferreira Neves
Miguel Correia
Paulo Veríssimo
Conference papers
2004
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
(2004)
Pedro Martins
Paulo Sousa
António Casimiro
Paulo Veríssimo
Conference papers
2004
A Generic Temporal Consistency Model for Distributed Control Systems
(2004)
Pedro Martins
António Casimiro
Paulo Veríssimo
Conference papers
2004
An Intrusion-Tolerant Web Server based on the DISTRACT Architecture
(2004)
Rafael Ferraz et al., with 6 authors including:
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2004
Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões
(2004)
Tiago Jorge
José Pascoal
Miguel Correia
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2003
A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB
(2003)
Lau C. Lung
Miguel Correia
Nuno F. Neves
Paulo Veríssimo
Conference papers
2003
An architecture to support interaction via Generic Events
(2003)
Paulo Veríssimo
Jorg Kaiser
António Casimiro
Conference papers
2003
Event-Driven Support of Real-Time Sentient Objects
(2003)
Paulo Veríssimo
António Casimiro
Conference papers
2002
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
(2002)
Miguel Correia
Lau Lung
Nuno Ferreira Neves
Paulo Veríssimo
Conference papers
2002
The Design of a COTS Real-Time Distributed Security Kernel
(2002)
Miguel Correia
Paulo Veríssimo
Nuno Ferreira Neves
Conference papers
2002
The Timely Computing Base and its Future Trends
(2002)
P. Martins
P. Veríssimo
Conference papers
2002
The Timely Computing Base Model and Architecture
(2002)
P. Veríssimo
A. Casimiro
Journal articles
2002
Generic Timing Fault Tolerance using a Timely Computing Base
(2002)
A. Casimiro
P. Veríssimo
Conference papers
2002
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities
(2002)
P. Veríssimo et al., with 6 authors including:
P. Veríssimo
A. Casimiro
Conference papers
2001
Measuring Distributed Durations with Stable Errors
(2001)
A. Casimiro
P. Martins
P. Veríssimo
L. Rodrigues
Conference papers
2001
Using the Timely Computing Base for Dependable QoS Adaptation
(2001)
A. Casimiro
P. Veríssimo
Conference papers
2001
MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
(2001)
D. Powell et al., with 13 authors including:
N. Neves
P. Veríssimo
Conference papers
2001
The Architecture of a Secure Group Communication System based on Intrusion Tolerance
(2001)
Miguel Correia
Paulo Veríssimo
Nuno Ferreira Neves
Conference papers
2001
The Logically Instantaneous Communication Mode: a Communication Abstraction
(2001)
A. Mostefaoui
M. Raynal
P. Veríssimo
Journal articles
2000
How to Build a Timely Computing Base using Real-Time Linux
(2000)
A. Casimiro
P. Martins
P. Veríssimo
Conference papers
2000
A Dynamic Light-Weight Group Service
(2000)
Luís Rodrigues
Katherine Guo
Paulo Veríssimo
Kenneth P. Birman
Journal articles
2000
Distributed Computer-Controlled Systems: the DEAR-COTS Approach
(2000)
P. Veríssimo et al., with 6 authors including:
P. Veríssimo
A. Casimiro
Conference papers
2000
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
(2000)
P. Veríssimo
A. Casimiro
C. Fetzer
Conference papers
2000
The Middleware Architecture of MAFTIA: A Blueprint
(2000)
Paulo Veríssimo
Nuno F. Neves
Miguel Correia
Conference papers
1999
Design of bus media redundancy in CAN
(1999)
J. Rufino
P. Verissimo
G. Arroz
Conference papers
1999
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines
(1999)
A. Mostefaoui
M. Raynal
P. Veríssimo
Conference papers
1999
Timing Failure Detection with a Timely Computing Base
(1999)
A. Casimiro
P. Veríssimo
Conference papers