I am Visiting Professor within the SySMA research unit of IMT Lucca; since 1990 I have been full Professor in Computer Science, from 1993 at Dipartimento di Informatica, Università di Pisa, until retirement 2020.

I served as head of the Computer Science department in Pisa; chairman of the Pisa PhD programme, of the Italian Committee of PhD programmes, of the Italian Association of the Professors of Computer Science; I have been member of many international advisory boards and evaluation committees, and since 2005 member of the scientific committee of the Microsoft Research - University of Trento Centre for Computational and Systems Biology. I co-founded and chaired the IFIP TC1 WG 1.7 on Theo. Found. of Security Analysis & Design and of the POST conference; I served as chairman of many conferences; and as member of the Editorial Board of some scientific international journals.

Research Area

My main research topics include programming language semantics, security and computational biology, on which I published more than 250 papers in international conferences and journals.

I am presently developing formal theories and methods, as well as mechanisms and tools for

• controlling and enforcing security policies, such as access control, and

• guaranteeiing that (automatic) program transformations preserve the security when passing from a high to a low level, including the architectural ones, in the so-called secure compilation approach.

Selected Publication

• Bartoletti M., Degano P., Ferrari G.L., and Zunino R. Semantics-based design for secure web services. IEEE Transactions of Software Engineering, 34 (10):1–17, 2008.

• Bracciali A., Brunelli M., Cataldo E., and Degano P. Synapses as stochastic concurrent systems. Theoretical Computer Science, 408/1:66–82, 2008.

• Bartoletti M., Degano P., and Ferrari G.L. Planning and verifying service composition. Journal of Computer Security, 17 (5):799–837, 2009.

• Bartoletti M., Degano P., Ferrari G.L., and Zunino R. Local policies for resource usage analysis. ACM Transactions on Programming Languages and Systems, 31 (6), 2009.

• Bartoletti M., Degano P., Ferrari G.L., and Zunino R. Model checking usage policies. Mathematical Structures in Computer Science, 25 (3):710-763, DOI 10.1017/S096012951200093X, March 2015.

• Degano P., Ferrari G.L., and Galletta, L. A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis. IEEE Transactions on Software Engineering, 42 (6): 505–529, 2016, doi: 10.1109/TSE.2015.2496941

• Degano P., Mezzetti, G, and Ferrari G.L. Regular and Context-free Nominal Traces. Acta Informatica, 54 (4): 399–433, 2017, doi: 10.1007/s00236-016-0261-6

• Bodei, C., Degano P., Galletta L., and Salvatori F. Context-aware Security: Linguistic Mechanisms and Static Analysis. Journal of Computer Security, 24 (4): 427–477, 2016, DOI: 10.3233/JCS-160551

• Basile D., Degano P., and Ferrari G.L. Automata for Specifying and Orchestrating Service Contracts. Journal of Logical Methods in Computer Science, 12 (4-6): 1–51, 2016, DOI:10.2168/LMCS-12(4:6)

• Bodei C., Degano P., Ferrari G.L., and Galletta, L. Tracing where IoT Data are Collected and Aggregated. Journal of Logical Methods in Computer Science, 13 (3:5): 138, 2017, DOI: 10.23638/LMCS- 13(3:5)

• Costa, G., Galletta, L., Degano, P., Basin, D., and Bodei, C. Natural Projection as Partial Model Checking. Journal of Automated Reasoning, 64 (7) 1445–1481, 2020. DOI: 10.1007/s10817-020-09568-7

• Busi, M., Noorman, J., Van Bulck, J., Galletta L., Degano, P., Muehlberg, J.T., and Piessens, F. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. In Proc. 33rd IEEE CSFW, Boston, USA, p. 262–276. IEEE Computer Society, 2020.

• Bodei, C., Ceragioli, L., Degano P., Focardi R., Galletta L., Luccio, F., Tempesta, M, and Veronese, L. FWS: Analyzing, Maintaining and Transcompiling Firewalls. Journal of Computer Security, 2021, https://content.iospress.com/articles/journal-of-computer-security/jcs200017

For a (partial) list of my publications, see my DBLP page or my SCOPUS page.