logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Pierpaolo Degano

IMT School for Advanced Studies Lucca

36H-index
334Paper Count
4.7KCitation Count
Published Papers 14
Publication Date
logo
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errFranceschi, Andrea; Galletta, Letterio; Degano, Pierpaolo
errShare
errSave
Specifying and Verifying Information Flow Control in SELinux Configurations
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2024-10-07
err0
errOAAI
errCeragioli, Lorenzo; Galletta, Letterio; Degano, Pierpaolo; Basin, David
errShare
errSave
Formally verifying security protocols built on watermarking and jamming
errCOMPUTERS & SECURITY
IF5.4
err2023-05-01
err5
errOAAI
errCosta, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
errShare
errSave
Can my firewall system enforce this policy?
errCOMPUTERS & SECURITY
IF5.4
err2022-06-01
err2
PREAI
errCeragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
errShare
errSave
Modelling and analysing IoT systems
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2021-11-01
err1
PREAI
errBodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
errShare
errSave
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2016-06-01
err8
PREAI
errDegano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
errShare
errSave
Secure service orchestration in open networks
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2011-03-01
err2
PREAI
errCosta, Gabriele; Degano, Pierpaolo; Martinelli, Fabio
errShare
errSave
Semantics-based design for secure web services
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2008-01-01
err40
PREAI
errBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
errShare
errSave
Authentication primitives for secure protocol specifications
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2005-05-01
err3
PREAI
errBodei, C; Degano, P; Focardi, R; Priami, C
errShare
errSave
Flow logic for Dolev-Yao secrecy in cryptographic processes
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2002-05-01
err12
PREAI
errBodei, C; Degano, P; Nielson, F; Nielson, HR
errShare
errSave
Enhanced operational semantics: A tool for describing and analyzing concurrent systems
errACM COMPUTING SURVEYS
IF28
err2001-06-01
err36
PREAI
errDegano, P; Priami, C
errShare
errSave
Performance evaluation of mobile processes via abstract machines
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2001-01-01
err14
errOAAI
errNottegar, C; Priami, C; Degano, P
errShare
errSave
Computing Surveys' Electronic Symposium on the Theory of Computation
errACM COMPUTING SURVEYS
IF28
err1999-09-01
err0
errOAAI
errDegano, P; Gorrieri, R; Marchetti-Spaccamela, A; Wegner, P
errShare
errSave
Enhanced operational semantics
errACM COMPUTING SURVEYS
IF28
err1996-06-01
err17
errOAAI
errDegano, P; Priami, C
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
D
David Basin
H-index: 50 · Papers: 502
F
Fabio Martinelli
H-index: 41 · Papers: 575
R
Roberto Gorrieri
H-index: 38 · Papers: 248
F
Flemming Nielson
H-index: 37 · Papers: 338
P
Peter Wegner
H-index: 36 · Papers: 267
View more