Leo Freitas

简介

I am interested in formal specification and verification of safety critical systems. In particular, the use of theorem provers and modelling tools. Earlier in my career I participated in the Grand Challenge in Software Verification working on: the Mondex Purse verification; verified NAND flash hardware and software; the Tokeneer ID station verification; etc. Since 2014, I've been involved in the dependability and design of safety critical medical devices. I worked with a novel neonatal heamodialyser through to certification, a brain pacemaker for epilepsy (and other brain ailments) control, and more recently a organ transplant preservation machine, which has become a University spin out (https://www.scubatx.com).Since 2017, I started collaboration with EMVCo on the analysis of their new EM

代表成果

• Almehrej A, Freitas L, Modesti P. Account and Transaction Protocol of the Open Banking Standard. In: International Conference on Rigorous State-Based Methods. 2020, Ulm, Germany: Springer.
• Freitas L, Emms M. Analysis of EMV 2nd Generation Kernel Specific Golden Paths. EMVCo, 2020.
• Kennedy S, Freitas L, Hardy A, Downsland S, Turner M. Clinical Prioritisation Assistance Tool (CPAT) for COVID-19. [program]. 2020.
• Emms M, Freitas L. Mastercard Contactless Reader specification verification. MasterCard, 2020.
• Freitas L, Scott III WE, Degenaar P. Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems. Science of Computer Programming 2020, 200, 102545.
• Harrison MD, Freitas L, Drinnan M, Campos JC, Masci P, Di Maria C, Whitaker M. Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine. Science of Computer Programming 2019, 175, 17-34.
• Freitas L, Modesti P, Emms M. A methodology for protocol verification applied to EMV® 1. In: 21st Brazilian Symposium on Formal Methods (SBMF 2018). 2018, Salvador, Brazil: Springer Verlag.
• Freitas L, Emms M. Analysing the EMV 2nd generation kernel. EMVCo, 2018.
• Freitas L. VDM at Large: Modelling the EMV® 2nd Generation Kernel. In: Formal Methods: Foundations and Applications. 21st Brazilian Symposium (SBMF 2018). 2018, Salvador, Brazil: Springer.
• Freitas L, Emms M. Protocol Correctness Analysis EMV 2nd Generation Specifications - Formal specification of EMV 2nd Generation Kernel. EMVCo, 2017.