Università di Pisa - Anagrafe della Ricerca

Lista funzioni di navigazione

Autore

PIERPAOLO DEGANO

Unimap Dati autore

Professore Ordinario presso Dipartimento di Informatica
Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
Settore scientifico disciplinare INF/01 INFORMATICA
In servizio

Prodotti

lista concisa
lista espansa
tipo
anno

Articolo in rivista
1. Degano, P. e Gorrieri, R,A Causal Operational Semantics of Atomic Refinement, INFORMATION AND COMPUTATION,vol. 122,pp 97,tot.pag 0,1995
2. Degano, P. e Raffoni, L.,Fairness and Priority, Fundamenta Informaticae,vol. 22,pp 299,tot.pag 0,1995
3. Degano, P., Meseguer, J. e Montanari, U.,Axiomatizing the Algebra of Net Computations and Processes, ACTA INFORMATICA,vol. 33,num. 7,pp 641,tot.pag 0,1996
4. Degano, P. e Priami, C.,Enhanced Operational Semantics, ACM COMPUTING SURVEYS,vol. 28,num. 2,pp 352,tot.pag 0,1996
5. Degano, P. e Priami, C,LR Techniques for Handling Syntax Errors, COMPUTER LANGUAGES,vol. 24,pp 73,tot.pag 0,1998
6. Degano, P. e Priami, C.,Non Interleaving Semantics of Mobile Processes, THEORETICAL COMPUTER SCIENCE,vol. 216,num. 1-2,pp 237,tot.pag 0,1999
7. Degano, P., Priami, C., Leth, L., e Thomsen, B.,Causality for Debugging Mobile Agents, ACTA INFORMATICA,vol. 36,pp 335,tot.pag 0,1999
8. Bodei, C., Degano, P. e Priami, C.,Names of Mobile Agents Handled Locally, THEORETICAL COMPUTER SCIENCE,vol. 253,num. 2,pp 155,tot.pag 0,2000
9. Bodei C., Degano P., Nielson F. and Nielson Riis,Static Analysis for the pi-calculus with Applications to Security, INFORMATION AND COMPUTATION,vol. 168,pp 68-92,tot.pag 24,2001
10. Degano P., Priami C.,Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems, ACM COMPUTING SURVEYS,vol. 33,num. 2,pp 135-176,tot.pag 41,2001
11. Nottegar C., Priami C., Degano P.,Performance Evaluation of Mobile Processes via Abstract Machines, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,vol. 27,num. 10,pp 867-889,tot.pag 22,2001
12. Degano P., Gadducci F., Priami C.,A Causal Semantics for CCS via Rewriting Logic, THEORETICAL COMPUTER SCIENCE,vol. 216,num. 1-2,pp 259-282,tot.pag 23,2002
13. Bodei C., Degano P., Nielson F. e Riis Nielson,Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes, FUTURE GENERATION COMPUTER SYSTEMS,vol. 18,num. 6,pp 747-756,tot.pag 10,2002
14. Bodei C., Degano P., Focardi R., Priami C.,Primitives for Authentication in Process Algebras, THEORETICAL COMPUTER SCIENCE,vol. 283,num. 2,pp 271-304,tot.pag 33,2002
15. Bartoletti M., Degano P. Ferrari G.L.,Stack Inspection and Secure Program Transformations, International Journal of Information Security,num. 2,pp 187-217,tot.pag 30,2004
16. Curti M., Degano P., Priami C. e Baldari C.T.,Modelling Biochemical Pathways through Enhanced pi-calculus, THEORETICAL COMPUTER SCIENCE,vol. 325/1,pp 111-140,tot.pag 29,2004
17. Bodei, C., Buchholz, M., Degano, P., Nielson, F., Riis Nielson, H.,Static Validation of Security Protocols, Journal of Computer Security,vol. 13(3),num. 3,pp 347-390,tot.pag 44,2005
18. Bodei, C., Degano, P., Priami, C.,Checking Security Properties Throught an Enhanced Control Flow Analysis, Journal of Computer Security,vol. 13,num. 1,pp 49-85,tot.pag 37,2005
19. Bodei, C., Degano, P., Focardi, R., Priami C.,Authentication Primitives for Secure Protocol Specifications, FUTURE GENERATION COMPUTER SYSTEMS,vol. 21,num. 4,pp 645-653,tot.pag 9,2005
20. Zunino, R., Degano, P.,Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries, THEORETICAL COMPUTER SCIENCE,vol. 340/1,pp 154-178,tot.pag 25,2005
21. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI,Planning and Verifying Service Composition, INTERNATIONAL JOURNAL OF COMPUTER SECURITY,pp 1,tot.pag 68,2006
22. BRACCIALI ANDREA, BRUNELLI MARCELLO, Cataldo E., DEGANO PIERPAOLO,Synapses as Stochastic Concurrent Systems, THEORETICAL COMPUTER SCIENCE,pp 1,tot.pag 1,tot. autori 4,2008
23. BRACCIALI ANDREA, BRUNELLI MARCELLO, Cataldo E., DEGANO PIERPAOLO,Stochastic models for the in silico simulation of synaptic processes, B M C BIOINFORMATICS,vol. 9 (4) :S7,pp 1,tot.pag 1,tot. autori 4,2008
24. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Semantics-based Design for Secure Web Services, I E E E TRANSACTIONS ON SOFTWARE ENGINEERING,vol. 34/1,pp 1,tot.pag 17,2008
25. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino R.,Local Policies for Resource Usage Analysis, A C M TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,vol. 31 (6),pp 1,tot.pag 42,tot. autori 4,2009
26. DEGANO PIERPAOLO, Bartoletti Massimo, COSTA GABRIELE, Martinelli Fabio, Zunino Roberto,Securing Java with Local Policies, JOURNAL OF OBJECT TECHNOLOGY,vol. 8 (4),pp 5,tot.pag 27,tot. autori 5,2009
27. BODEI CHIARA, Brodo Linda, DEGANO PIERPAOLO, Gao Han,Detecting and Preventing Type flaws at Static Time, JOURNAL OF COMPUTER SECURITY,vol. 18(2),pp 229,tot.pag 35,tot. autori 4,2010
28. Bencivelli Silvia, DEGANO PIERPAOLO,I dottorati in Informatica in Italia: una fotografia di gruppo., MONDO DIGITALE,vol. 2-3,pp 56,tot.pag 67,tot. autori 2,2011
29. COSTA GABRIELE, DEGANO PIERPAOLO, Martinelli Fabio,Secure service orchestration in open networks, JOURNAL OF SYSTEMS ARCHITECTURE,vol. 57(3),pp 231,tot.pag 9,tot. autori 3,2011
30. COSTA GABRIELE, DEGANO PIERPAOLO, MARTINELLI FABIO,Modular Plans for Secure Service Composition, JOURNAL OF COMPUTER SECURITY,pp 1,tot.pag 23,tot. autori 3,2011
Articolo su rivista scientifica Index Medicus, Science Citation Index
1. Chiarugi Davide, DEGANO PIERPAOLO, MARANGONI ROBERTO,A computational approach to the functional screening of genomes, P L O S COMPUTATIONAL BIOLOGY,vol. Volume 3 Issue 9,pp e174,tot.pag 6,tot. autori 3,2007
Libro di ricerca
1. P. Degano,Proceedings of ESOP 2003,tot.pag. 111111,edizione Springer,2003
2. Degano P.,Special Issues of the Journal of Science of Computer Programming,edizione ??,2004
3. Degano, P. Vigan�, L.,Proceedings of the Second Workshop on Automated reasoning for Security Protocol Analysis (ARSPA 2005),edizione ??,2005
4. Degano P., Vigan� L.,,Special Issues of the Journal of Theoretical Computer Science,edizione ??,2006
Libro, manuale o trattato
1. Bianchi A., Coluccini S., DEGANO PIERPAOLO, Priami C.,An Efficient Verification of Truly Concurrent Properties,tot.pag. 36,edizione Springer,tot.autori 4,1995
2. DEGANO PIERPAOLO, Priami C,Causality for Mobile Processes,tot.pag. 660,edizione Springer,tot.autori 2,1995
3. Mycroft A., DEGANO PIERPAOLO, Priami C.,Complexity as a Basis for Comparing Semantic Models of Concurency, In: Algorithms, Concurrency and Knowledge,tot.pag. 141,tot.autori 3,1995
4. DEGANO PIERPAOLO, Priami C., Leth L., Thomsen B.,Analysis of facile programs,tot.pag. 141,edizione Springer,tot.autori 4,1996
5. DEGANO PIERPAOLO, Loddo J.-v., Priami C.,Mobile processes with local clocks,tot.pag. 296,edizione Springer,tot.autori 3,1996
6. BODEI CHIARA, DEGANO PIERPAOLO, Priami C.,Mobile Processes with a Distributed Environment,tot.pag. 490,edizione Springer,tot.autori 3,1996
7. Degano, P., Gorrieri, R. e Marchetti-Spaccamela, A. (Eds),Proceedings of ICALP�97,,tot.pag. 0,1997
8. Degano, P., Vaccaro, U. e Pirlo, G.,Proceedings of 6th Italian Conference on Theoretical Computer Science,tot.pag. 0,1998
9. Degano, P., Gorrieri, R., Marchetti-Spaccamela, A., Wegner, P.,Symposium on the Theory of Computation,tot.pag. 0,1999
10. Degano, P., Gorrieri, R. e Marchetti-Spaccamela, A.,Special Issues of the Journal of Theoretical Computer Science,tot.pag. 0,1999
11. Degano, P.,Proceedings of the Workshop on Issues in the Theory of Security,tot.pag. 0,2000
Capitolo, parte o articolo in libro
1. Bodei C., Degano P., Nielson F., and Riis Nielson,Security Analysis using Flow Logics in Current Trends in Theoretical Computer Science, Entering the 21st Century,pp 525, 542, World Scientific,tot.pag. 18,2001
2. Zunino R., Degano P.,A note of perfect encryption assumption in a process calculus in Lecture Notes in Computer Science,pp 514, 528, Springer, Berlin,tot.pag. 15,2004
3. Zunino R., Degano P.,Handling exp, x (and Timestamps) in Protocol Analysis in Lecture Notes in Computer Science,pp 413, 427, Springer,tot.pag. 15,2006
4. Chiarugi D., Chinellato M., Degano P., Lo Brutto G., Marangoni R.,Feedbacks and oscillations in the virtual cell VICE in Lecture Notes in Bioinformatics,pp 93, 107, Springer,tot.pag. 15,2006
5. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO,Secure Service Orchestration in Secure service Orchestration,pp 24, 74, Foundations of Security Analysis and Design IV (FOSAD),tot. autori 4,tot.pag. 51,2006
6. Brodo L., DEGANO PIERPAOLO, Priami C.,A Stochastic Semantics for BioAmbients in Proc. PaCT-2007,pp 22, 34, Pereslavl-Zalesskii,tot. autori 3,tot.pag. 13,2006
7. Han Gao, BODEI CHIARA, DEGANO PIERPAOLO, Nielson Riis,A formal analysis for capturing replay attacks in criptographic protocols in Proceedings 12th Asian Computing Science Conference,,2007
8. Bartoletti M., Degano P., Ferrari G.L., Zunino R.,Types and Effects for Resource Usage Analysis in Lecture Notes in Computer Science,pp ??, ??, ??,2007
9. BRACCIALI ANDREA, BRUNELLI MARCELLO, Cataldo E., DEGANO PIERPAOLO,Expressive models for synaptic plasticity in Proc. CMSB'07,pp 1, 1,tot. autori 4,tot.pag. 1,2007
10. DEGANO PIERPAOLO, Bracciali Andrea, BRUNELLI MARCELLO, CATALDO ENRICO,Algorithmic Bioprocesses in Formal models of the calyx of Held,pp 331, 366,tot. autori 4,tot.pag. 35,2009
11. COSTA GABRIELE, DEGANO PIERPAOLO, MARTINELLI FABIO,Proc. ARSPA-WITS 2010, Lecture Notes in Computer Science in Modular Plans for Secure Service Composition,pp 1, 20,tot.pag. 20,2010
12. DEGANO PIERPAOLO, Bracciali Andrea,The Handbook of Natural Computing in Process Calculi, Systems Biology and Artificial Chemistry,pp 1, 67,tot.pag. 67,2010
13. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Call-by-Contract for Service Discovery, Orchestration and Recovery in Rigorous Software Engineering for Service-Oriented Systems,pp 232, 260,2011
Preprint
1. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO,Semantics-based design for secure web services, tot.autori 4,2007
2. BRACCIALI ANDREA, BRUNELLI MARCELLO, Cataldo E., DEGANO PIERPAOLO,Formal models of the calyx of Held, tot.autori 4,2009
Atto di convegno internazionale con revisori articolo su invito
1. Degano, P. e Priami, C.,Quantitative Analysis for Mobile Processes, Multi-Workshop in Performance Evaluation and Applications, pp 1, Zaragoza,vol. 1,1999
2. Bodei, C., Degano, P. Focardi, R., Gorrieri, R. e Martinelli, F.,Techniques for Security Checking: Non Interference vs Control Flow Analysis, TOSCA'01, pp 10928637564-0, Udine,vol. 09764,2001
3. Brodo, L., Degano, P., Priami, C.,Reflecting Mobile Ambients into the �-calculus, Global Computing'03, pp 25-56, Trento,vol. 2872,2003
4. Brodo L., Degano P., Gilmore S., Hillstone J., Priami C.,Performance Evaluation for Global Computation, Global Computing'2003, pp 229-253, Trento, 2003,vol. 2872,2003
5. Bodei, C., Curti M., Degano, P., Priami, C.,A Quantitative Study of Two Attacks, WISP 2004, pp 65-85,vol. 121,2004
6. Bartoletti M., Degano P. e Ferrari G.L.,Program Transformations Under Dynamic Security Policies, MEFISTO'03, pp 49-86, Pisa 3-5 Novembre 2003,vol. 96,2004
7. Brodo, L., Curti, M., Degano, P., Prandi, D., Priami, C., Quaglia, P.,Formal Executable Descriptions of Biological Systems, IEEE Conference on Quantitative Evaluation of SysTems, QEST 2005, pp 2-11, Torino, September 19-22, 2005,vol. ??,2005
Atto di convegno internazionale con revisori articolo in extenso
1. Degano, P. e Priami, C.,A Transitional Semantics of Full Prolog, Joint Conference on Declarative Programming, pp 511, Marina di Vietri (Italia),vol. 10,1995
2. Borgia, C., Degano, P., Priami, C., Leth, L., e Thomsen, B.,Understanding Mobile Agents via a non-interleaving semantics for Facile, SAS �96, pp 98, Aachen,vol. 1145,1996
3. Bodei, C., Degano, P. e Priami, C.,Constructing specific SOS semantics for concurrency via abstract interpretation, SAS'98, pp 168, Pisa,vol. 1503,1998
4. Degano, P. Gadducci, F. e Carabetta, G.,CCS semantics via Proved Transition Systems and Rewriting Logic, WRLA�98, pp 10, Pont-a-Mousson,vol. 15,1998
5. Bodei, C., Degano, P., Nielson, F. e Riis Nielson, H.,Control Flow Analysis for the *-calculus, CONCUR�98, pp 84, Nice,vol. 1466,1998
6. Bodei, C., Degano, P., Focardi, R., Priami, C.,Authentication via Localized Names, 12th IEEE CSFW, pp 98-110, Mordano, 28-30 June 1999,vol. ??,1999
7. Bodei, C., Degano, P., Nielson, F. e Riis Nielson, H.,Static Analysis of Processes for No Read-Up and No Write-Down, FoSSaCS�99, pp 120, Amsterdam,vol. 1578,1999
8. Nottegar, C., Priami, C. and Degano, P.,Semantic-driven Performance Evaluation, FASE'99, pp 204, Amsterdam,vol. 1577,1999
9. Degano, P., Levi, F., Bodei, C.,Control Flow Analysis for Mobile Safe Ambients, ASIAN'00, pp 199-214, Penang, Malaysia, November 25-27, 2000,vol. 1961,2000
10. Brodo, L., Degano, P. and Priami, C.,A tool for quantitative analysis of *-calculus processes, PAPM 2000, pp 10, Geneva,vol. 1,2000
11. Bodei, C., Degano, P., Nielson, F. e Riis Nielson, H.,Static Analysis for Secrecy and Non-Interference in Networks of Processes, PaCT-2001, pp 27-41, Novosibirsk,vol. 2127,2001
12. Bartoletti, M., Degano, P. e Ferrari G.L.,Static Analysis for Stack Inspection, ConCored-2001, pp 9876-p98i653, Lipari,vol. 54,2001
13. Bodei, C., Degano, P., Focardi, R. and Priami, C.,Authentication Primitives for Refining Protocol Specifications, WITS'02, pp 19897566543, Portland,vol. 917356345,2002
14. Bodei, C., Degano, P., Priami, C. Zannone, N.,An Enhanced CFA for Security Policies, WITS'03, pp 131-145, Warsaw, 5-6 April 2003,vol. 111,2003
15. Degano, P. and Gadducci, F. and Priami, C.,Causality and replication in Concurrent Processes, Perspective of System Informatics - 5th International Andrei Ershov Memorial Conference, pp 307-318, Akademgorodok, Novosibirsk, Russia,vol. 2890,2003
16. Degano P., Priami C.,Enhanced Operational Sematics in Systems Biology, CMSB'03, pp 178-181, Rovereto, 24 - 26 Feb., 2003,vol. 2602,2003
17. Bartoletti M., Degano P., Ferrari G. L.,Static Analysis for Eager Stack Inspection, W/S ECOOP Formal Technicques for Java-like Programs, pp 111111-111111, Darmstat, Germany,vol. nnnn,2003
18. Bodei C., Buchholtz M., Degano P., Nielson F. and Nielson Riis,Automatic Validation of Protocol Narration, IEEE CSFW, pp 126-140, Asilomar,vol. Proc. of 16th IEEE CSFW,2003
19. Bodei C., Degano P., Focardi R., Priami C.,Authentication Primitives for Protocol Specifications, PaCT-2003, pp 49-65, Nizhni, Novgorod, September 15-19, 2003,vol. 2763,2003
20. Bartoletti M., Degano P., Ferrari G. L.,Security-aware Program Transformations, ICTCS 2003, pp 355-368, Bertinoro, 13-15 October 2003,vol. 2841,2003
21. Curti M., Degano P., Priami C., Baldari C. T.,Causal pi-calculus for Biochemical Modelling, CMSB'03, pp 21-33, Rovereto, 24-26 Febbraio 2003,vol. 2602,2003
22. Bodei, C., Buchholtz, M., Curti, M., Degano, P., Nielson, F., Riis Nielson, H. and Priami, C.,Performance Evaluation of Security Protocols specified in LySa, QAPL04, pp 167-189, Barcelona 2004,vol. 112,2004
23. Bartoletti M., Degano P. and Ferrari G.L.,Method inlining in presence of stack inspection, WITS'04, pp 13-25, Barcelona,vol. ??,2004
24. Bodei C., Buchholtz M., Degano P., Nielson F. and Riis Nielson H.,Control Flow Analysis Can Find New Flaws Too, WITS'04, pp 43-53, Barcelona,vol. 1,2004
25. Chiarugi, D., Curti, M., Degano, P., Marangoni, R.,VICE: a Virtual Cell, CMSB'04, pp 207-220, Paris, 26-28 May, 2004,vol. 3082,2004
26. Bartoletti, M., Degano, P., Ferrari, G.L.,Enforcing Secure Service Composition, 18th IEEE CSFW, pp 211-223, Aix-en-Provence, 20-22 June 2005,vol. ??,2005
27. Bartoletti, M., Degano, P. and Ferrari,Policy Framings for Access Control, WITS'05, pp 5-11, Long Beach, Ca.Jan. 10-11, 2005,vol. 111,2005
28. Bodei, C., Buchholtz, M., Curti, M., Degano, P., Nielson, F., Riis Nielson, H., Priami, C.,On Evaluating the Performance of Security Protocols, PaCT-2005, pp 1-15, Krasnoyarsk, September 5-9, 2005,vol. 3606,2005
29. Bartoletti, M., Degano, P., Ferrari, G.L.,History-based Acces Control with Local Policies, FoSSaCS'05, pp 316-332, Edinburgh, April 2005,vol. 3441,2005
30. Bartoletti, M., Degano, P., Ferrari, G.L.,Checking Risky Events is Enough for Local Policies, ICTCS 2005, 12-14 October, pp 1111-1111, Siena, 12-14 October 2005,vol. 3701,2005
31. Bartoletti M., Degano P., Ferrari G.L.,Types and Effects for Secure Service Orchestration, CSFW'06, pp 57-69, Venezia,vol. ??,2006
32. Degano, P., Prandi, D., Priami, C., Quaglia, P.,Beta-binders for biological quantitative experiments, QAPL06, pp 167-189, Wien,vol. 112,2006
33. Gao Han, DEGANO PIERPAOLO, BODEI CHIARA, Riis nielson Hanne,A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols, 12th Annual Asian Computing Science Conference (ASIAN 2007), pp -150--165, Doha - Quatar, 9-11 December 2007,vol. 4846, tot. autori 4,2007
34. Gao Han, DEGANO PIERPAOLO, BODEI CHIARA, Riis nielson Hanne,Detecting Replay Attacks by Freshness Annotations, 7th International Workshop on Issues in the Theory of Security (WITS'07), pp ---, Braga - Portogallo, tot. autori 4,2007
35. BODEI CHIARA, DEGANO PIERPAOLO, Gao Han, Brodo Linda,Detecting and Preventing Type Flaws: a Control Flow Analysis with Tags, 5th International Workshop on Security Issues in Concurrency 2007, pp 3-22, Lisbona - Portogallo,vol. Electronic Notes in Theoretical Computer Science, tot. autori 4,2007
36. BRACCIALI ANDREA, BRUNELLI MARCELLO, CATALDO ENRICO, DEGANO PIERPAOLO,In silico stochastic simulation of Ca2+ triggered synaptic release, NETTAB 2007, pp 213-225, Pisa, Italy, tot. autori 4,2007
37. Bartoletti M., COSTA GABRIELE, DEGANO PIERPAOLO, Martinelli F., Zunino R.,Securing Java with Local Policies, ECOOP Formal Techniques for Java-like Programs, pp 50-62, Paphos, Cyprus,vol. 85, tot. autori 5,2008
38. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Model Checking Usage Policies, Trustworthy Global Computing 2008, pp 19-35, Malaga,vol. 5474, tot. autori 4,2008
39. Gao Han, BODEI CHIARA, DEGANO PIERPAOLO,A Formal Analysis of Complex Type Flaw Attacks on Security Protocols, AMAST'08, pp 167-183, Urbana,vol. 5140, tot. autori 3,2008
40. Chiarugi D., DEGANO PIERPAOLO, Van klinken J.b., MARANGONI ROBERTO,Cells in Silico: A Holistic Approach, 8th Int. School on Formal Methods for the Design of Comp. Comm. and S/W Sys.: Comput. Sys. Biology, pp 367-386,vol. 5016, tot. autori 4,2008
41. BODEI CHIARA, Brodo Linda, DEGANO PIERPAOLO, Gao Han,Statically Detecting Message Confusions in a Multi-Protocol Setting, International Workshop on Issues in the Theory of Security (WITS'08), pp .-., Pittsburgh, PA, USA, tot. autori 4,2008
42. COSTA GABRIELE, DEGANO PIERPAOLO, Martinelli Fabio,Secure service composition with symbolic effects, SEEFM09, pp 4-9, Thessaloniki, tot. autori 3,2009
43. Bartoletti M., DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino R.,nu-Types for Effects and Freshness Analysis, ICTAC'09, pp 80-95, Kuala Lumpur, Malaysia,vol. 5684, tot. autori 4,2009
44. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, Zunino Roberto,Hard Life with Weak Binders, 15th International Workshop on Expressiveness in Concurrency, pp 49-72,vol. 242 (1), tot. autori 4,2009
45. DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, MEZZETTI GIANLUCA,On Quantitative Security Policies, 11th Int. Conf. on Parallel Computing Technologies PaCT-11, pp 23-39, Kazan, Russia,vol. 6873,2011
46. Alvim Mario, Andres Miguel, Chatzikokolakis Konstantinos, DEGANO PIERPAOLO, Palamidessi Catuscia,Differential Privacy: on the trade-off between Utility and Information Leakage, FAST 2011, pp 1-15, Leuven, Belgio,2011
Articolo su atti di congresso internazionale
1. Bartoletti Massimo, DEGANO PIERPAOLO, FERRARI GIAN-LUIGI, ZUNINO ROBERTO,Types and Effects for Resource Usage Analysis, Foundations of Software Science and Computational Structures,, pp 32-47,vol. 4423,2007
Curatele di libri collettanei o di Atti di convegno
1. DEGANO PIERPAOLO, Vigan� L.,Special issues of the journal of Theoretical Computer Science,tot. autori 2, 1,2007
2. Bernardo M., DEGANO PIERPAOLO, Zavattaro G.l.,8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology,tot. autori 3, 1,2008
3. DEGANO PIERPAOLO, De nicola R., Meseguer P.,Concurrency, Graphs and Models,tot. autori 3, 1,2008
4. DEGANO PIERPAOLO, Kusters R., Vigan� L., Zdancewiz S,Special Issues of the International Journal of Information and Computation,tot. autori 4, 1,2008
5. DEGANO PIERPAOLO, Guttman J., Martinelli F.,Formal Aspects in Security and Trust,tot. autori 3, 1,2008
6. DEGANO PIERPAOLO, Gorrieri R.,Procs 7th Conference on Computational Methods in Systems Biology,tot. autori 2, ?,2009
7. DEGANO PIERPAOLO, Joshua Guttman,Procs 6th International Workshop on Formal Aspects in Security and Trust (FAST2008), Degano P. and Joshua D. Guttman, 317,2010
Curatele di collane
1. DEGANO PIERPAOLO, Vigano' L.,Special Issues of the International Journal of Information Security,tot. autori 2, ?,2007