World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
52
Citations
15255
World Ranking
4986
National Ranking
23

Research.com Recognitions

  • 2009 - ACM Fellow For contributions to dependable and secure distributed computing.

Overview

Paulo Veríssimo is affiliated with King Abdullah University of Science and Technology in Saudi Arabia. They specialize in computer science with a focus on several subfields including artificial intelligence, hardware and architecture, information systems, computer networks and communications, and aerospace engineering.

Their recent research publications cover various topics in computing and security. Notable papers include:

  • EphemeriShield -- defence against cyber-antisatellite weapons (2021, arXiv (Cornell University))
  • Savvy: Trustworthy Autonomous Vehicles Architecture (2024, arXiv (Cornell University))
  • Resilient and Secure Programmable System-on-Chip Accelerator Offload (2024, arXiv (Cornell University))
  • ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips (2024, arXiv (Cornell University))
  • Real Conditions for Unrealistic Obligations: The Case of Judicial Obligations in the Homeless Population (2024, European Journal of Social Sciences Education and Research)

Their work spans multiple topics, including:

  • Blockchain Technology Applications and Security
  • Internet Traffic Analysis and Secure E-voting
  • Spam and Phishing Detection
  • Distributed systems and fault tolerance
  • Space Satellite Systems and Control
  • Cryptographic Implementations and Security
  • Security and Verification in Computing

Frequent co-authors working with Paulo Veríssimo include Ali Shoker, Ahmad T. Sheikh, Suhaib A. Fahmy, Tong Cao, and Jiangshan Yu.

The scientist's most frequent publication venue is arXiv (Cornell University), where they have published several papers, with an additional publication in the European Journal of Social Sciences Education and Research.

Paulo Veríssimo was recognized as an ACM Fellow in 2009 for contributions to dependable and secure distributed computing.

Best Publications

  • Software-Defined Networking: A Comprehensive Survey

    Diego Kreutz;Fernando M. V. Ramos;Paulo Esteves Verissimo;Christian Esteve Rothenberg

  • Towards secure and dependable software-defined networks

    Diego Kreutz;Fernando M.V. Ramos;Paulo Verissimo

  • Efficient Byzantine Fault-Tolerance

    G. S. Veronese;M. Correia;A. N. Bessani;Lau Cheuk Lung

  • Distributed Systems for System Architects

    Paulo Verissimo;Luis Rodrigues

  • Intrusion-tolerant architectures: concepts and design

    Paulo Esteves Veríssimo;Nuno Ferreira Neves;Miguel Pupo Correia

  • The Delta-4 Approach to Dependability in Open Distributed Computing Systems

    D. Powell;G. Bonn;D. Seaton;P. Verissimo

  • Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery

    P. Sousa;A.N. Bessani;M. Correia;N.F. Neves

  • How to tolerate half less one Byzantine nodes in practical distributed systems

    M. Correia;N.F. Neves;P. Verissimo

  • The timely computing base model and architecture

    P. Verissimo;A. Casimiro

  • Fault-tolerant broadcasts in CAN

    J. Rufino;P. Verissimo;G. Arroz;C. Almeida

  • CesiumSpray>: a Precise and Accurate Global Time Servicefor Large-scale Systems

    Paulo Veríssimo;Luís Rodrigues;Antonio Casimiro

  • From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures

    Miguel Correia;Nuno Ferreira Neves;Paulo Veríssimo

  • The Delta-4 extra performance architecture (XPA)

    P.A. Barret;A.M. Hilborne;P.G. Bond;D.T. Seaton

  • Travelling through wormholes: a new look at distributed systems models

    Paulo E. Veríssimo

  • Real time and dependability concepts

    Hermann Kopetz;Paulo Veríssimo

  • SCFS: a shared cloud-backed file system

    Alysson Bessani;Ricardo Mendes;Tiago Oliveira;Nuno Neves

  • The timely computing base: Timely actions in the presence of uncertain timeliness

    P. Verissimo;A. Casimiro;C. Fetzer

  • Intrusion-tolerant middleware: the road to automatic security

    P.E. Verissimo;N.F. Neves;C. Cachin;J. Poritz

  • Reverse Engineering of Protocols from Network Traces

    Joao Antunes;Nuno Neves;Paulo Verissimo

  • xAMp: a multi-primitive group communications service

    L. Rodrigues;P. Verissimo

  • IEEE Transactions on Dependable and Secure Computing

    J. Arlat;A. Bondavalli;B.R.H.M. Haverkort;P. Verissimo

Frequent Co-Authors

Nuno Neves
Nuno Neves University of Lisbon
Miguel Correia
Miguel Correia Instituto Superior Técnico
Luís Rodrigues
Luís Rodrigues University of Lisbon
Andrea Bondavalli
Andrea Bondavalli University of Florence
Christian Cachin
Christian Cachin University of Bern
Brian Randell
Brian Randell Newcastle University
Michael Waidner
Michael Waidner Technical University of Darmstadt
Francisco M. Couto
Francisco M. Couto University of Lisbon
Birgit Pfitzmann
Birgit Pfitzmann IBM (United States)
Vinny Cahill
Vinny Cahill Trinity College Dublin

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens many doors, not only in pure tech fields but also across industries that value analytical and management skills. Exploring related online degree options can help you diversify your expertise and broaden your career prospects.

There's rising demand for advanced tech skills, and many students now choose flexible programs like the best online data science masters. These programs are tailored for those looking to specialize in artificial intelligence, machine learning, and big data. If you're interested in leadership roles in the construction or tech-driven infrastructure fields, consider reviewing the best construction management schools available online.

Business knowledge is another crucial asset for technology professionals. Pursue an online mba cheap to gain management and strategic skills while staying budget-friendly. For those seeking quick career advancement, explore a variety of online masters degree programs offering accelerated pathways to graduate credentials.

Best Scientists Citing Paulo Veríssimo

Trending Scientists

Recently Published Articles