World's Best Scientists 2026 revealed!
Pierpaolo Degano

Pierpaolo Degano

D-Index & Metrics

Computer Science

D-Index
33
Citations
4636
World Ranking
12684
National Ranking
442

Overview

Pierpaolo Degano is affiliated with the University of Pisa in Italy and works primarily in the field of Computer Science. Their research spans multiple subfields including Artificial Intelligence, Computer Networks and Communications, Information Systems, Signal Processing, and Hardware and Architecture.

The main topics covered in Pierpaolo Degano's research include:

  • Security and Verification in Computing
  • Advanced Malware Detection Techniques
  • Network Security and Intrusion Detection
  • Physical Unclonable Functions (PUFs) and Hardware Security
  • Cryptographic Implementations and Security
  • Advanced Memory and Neural Computing
  • Advanced Authentication Protocols Security

The scientist has collaborated frequently with several co-authors, among whom are Letterio Galletta (22 collaborations), Lorenzo Ceragioli (8 collaborations), Matteo Busi (6 collaborations), Chiara Bodei (5 collaborations), and Gian-Luigi Ferrari (4 collaborations).

Pierpaolo Degano's recent published papers include:

  • "FWS: Analyzing, maintaining and transcompiling firewalls," 2021, Journal of Computer Security
  • "Securing Interruptible Enclaved Execution on Small Microprocessors," 2021, ACM Transactions on Programming Languages and Systems
  • "Formally verifying security protocols built on watermarking and jamming," 2023, Computers & Security
  • "Can my firewall system enforce this policy?", 2022, Computers & Security
  • "Modelling and analysing IoT systems," 2021, Journal of Parallel and Distributed Computing

Frequently used publication venues for Pierpaolo Degano include:

  • arXiv (Cornell University)
  • Computers & Security
  • ACM Transactions on Programming Languages and Systems
  • Journal of Computer Security
  • Journal of Parallel and Distributed Computing

Best Publications

  • A distributed operational semantics for CCS based on condition/event systems

    P. Degano;Rocco De Nicola;U. Montanari

  • Static validation of security protocols

    Chiara Bodei;Mikael Buchholtz;Pierpaolo Degano;Flemming Nielson

  • Causal Trees: Interleaving + Causality

    Unknown

  • A model for distributed systems based on graph rewriting

    Pierpaolo Degano;Ugo Montanari

  • Automatic validation of protocol narration

    C. Bodei;M. Buchholtz;P. Degano;F. Nielson

  • Axiomatizing net computations and processes

    P. Degano;J. Meseguer;U. Montanari

  • Non-interleaving semantics for mobile processes

    Pierpaolo Degano;Corrado Priami

  • Control Flow Analysis for the pi-calculus

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Partial orderings descriptions and observations of nondeterministic concurrent processes

    Pierpaolo Degano;Rocco De Nicola;Ugo Montanari

  • Static Analysis for the π-Calculus with Applications to Security

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Concurrent histories: a basis for observing distributed systems

    Pierpaolo Degano;Ugo Montanari

  • Axiomatizing the algebra of net computations and processes

    Pierpaolo Degano;José Meseguer;Ugo Montanari

  • A partial ordering semantics for CCS

    P. Degano;R. De Nicola;U. Montanari

  • Modelling biochemical pathways through enhanced π-calculus

    M. Curti;P. Degano;C. Priami;C. T. Baldari

  • Beta-binders for Biological Quantitative Experiments

    Pierpaolo Degano;Davide Prandi;Corrado Priami;Corrado Priami;Paola Quaglia

  • Enhanced operational semantics: a tool for describing and analyzing concurrent systems

    Pierpaolo Degano;Corrado Priami

  • Static Analysis of Processes for No and Read-Up nad No Write-Down

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Causality for Mobile Processes

    Pierpaolo Degano;Corrado Priami

  • Enhanced operational semantics

    Pierpaolo Degano;Corrado Priami

  • On the consistency of 'truly concurrent' operational and denotational semantics

    P. Degano;R. De Nicola;U. Montanari

  • Partial ordering derivations for CCS

    Pierpaolo Degano;Rocco De Nicola;Ugo Montanari

Frequent Co-Authors

Corrado Priami
Corrado Priami University of Pisa
Flemming Nielson
Flemming Nielson Technical University of Denmark
Hanne Riis Nielson
Hanne Riis Nielson Technical University of Denmark

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

The field of computer science opens doors to a range of online degrees and technology-focused careers. For those interested in exploring related areas, options now extend far beyond traditional on-campus programs.

Curious if you can you get a physics degree online? Affordable and accredited online programs make it possible to earn a recognized qualification remotely, expanding opportunities for working professionals or students with other commitments.

Data science remains a fast-growing field, and many universities offer data science programs online. These courses teach skills in analytics, machine learning, and data visualization—highly valued by employers.

Those interested in hardware or systems engineering should explore the online bachelor’s in electrical engineering. This degree can lead to roles in robotics, energy, and communications technology.

If you’re seeking a shorter, more focused education path, consider 3-month certificate programs that pay well. These certificates can quickly help you gain practical tech skills and boost employability in emerging sectors.

Best Scientists Citing Pierpaolo Degano

Trending Scientists

Recently Published Articles