缅北禁地

Introduction

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 ().

Since 2017, I started collaboration with EMVCo on the analysis of their new EMV2 payment protocol suite. I also worked with MasterCard on the verification/validation of their current NFC protocol. This has led to research interest and project in collaboration with the UK NCSC as a PhD studentship for the Payment Calculus project.

Research Interests

Formal specification and verification of systems through theorem proving and model checking.

• Almehrej A, Freitas L, Modesti P. . 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. . [program]. 2020.
• Emms M, Freitas L. . MasterCard, 2020.
• Freitas L, Scott III WE, Degenaar P. . Science of Computer Programming 2020, 200, 102545.
• Harrison MD, Freitas L, Drinnan M, Campos JC, Masci P, Di Maria C, Whitaker M. . Science of Computer Programming 2019, 175, 17-34.
• Freitas L, Modesti P, Emms M. . 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. . In: Formal Methods: Foundations and Applications. 21st Brazilian Symposium (SBMF 2018). 2018, Salvador, Brazil: Springer.
• Freitas L, Emms M. . EMVCo, 2017.
• Harrison MD, Drinnan M, Campos JC, Masci P, Freitas L, di Maria C, Whitaker M. . In: Formal Aspects of Component Software (FACS 2017). 2017, Braga, Portugal: Springer.
• Zeyda F, Foster S, Freitas L. . In: 6th International Symposium on Unifying Theories of Programming (UTP 2016). 2016, Reykjavík, Iceland.
• Freitas L, Baxter J, Calvacanti A, Wellings A. . In: Integrated Formal Methods: 12th International Conference (iFM 2016). 2016, Reykjavík University: Springer.
• Baxter J, Cavancanti A, Wellings A, Freitas L. . In: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2015). 2015, Paris: ACM.
• Freitas L, Jones CB, Velykis A, Whiteside I. . In: VSTTE 2014: Verified Software: Theories, Tools and Experiments. 2014, Vienna, Austria: Springer, Cham.
• Dias D, Freitas L, Jones C. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1415.
• Freitas L, Jones CB, Velykis A. . In: HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday. 2014, EasyChair.
• Dias D, Freitas L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1431.
• Freitas L, Watson P. . International Journal of Computer Mathematics 2014, 91(5), 881-906.
• Emms M, Arief B, Freitas L, Hannon J, van Moorsel A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1421.
• Emms M, Arief B, Freitas L, Hannon J, van Moorsel A. . In: 21st ACM Conference on Computer and Communications Security (CCS). 2014, Scottsdale, Arizona, USA: ACM.
• Freitas F, Whiteside I. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1399.
• Freitas L, Whiteside I. . In: FM 2014: Formal Methods: 19th International Symposium. 2014, Singapore: Springer.
• Emms M, Freitas L, van Moorsel A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1426.
• Freitas L, Jones CB, Velykis A, Whiteside I. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1398.
• Jones CB, Freitas L, Velykis A. . In: Liu, Z., Woodcock, J., Zhu, H, ed. Theories of Programming and Formal Methods. Berlin; New York: Springer Verlag, 2013, pp.227-243.
• Mühlberg JT, Freitas L. . In: 11th International Conference on Software QA and Testing on Embedded Systems (QA&Test). 2011, Bilbao, Spain: SQS, Software Quality Systems.
• Freitas L, McDermott J. . International Journal on Software Tools Technology Transfer 2011, 13(5), 463-489.
• Velykis A, Freitas L. . In: Theoretical Aspects of Computing: 7th International Colloquium. 2010, Natal, Rio Grande do Norte, Brazil: Springer.
• Freitas L, Jones CB. . In: UV10 (Usable Verification). 2010, Redmond, Washington, USA.
• McDermott J, Freitas L. . In: 6th Annual Workshop on Cyber Security and Information Intelligence Research (CSIIRW). 2010, Oak Ridge, Tennessee, USA: ACM Press.
• Anderson H, Ciobanu G, Freitas L. . In: Unifying Theories of Programming: Second International Symposium (UTP). 2010, Dublin, Ireland: Springer.
• Freitas L, Woodcock J. . International Journal of Software and Informatics 2009, 3(2), 357-374.
• Freitas L, Woodcock J. . Formal Aspects of Computing 2009, 21(1-2), 133-154.
• Butterfield A, Freitas L, Woodcock J. . Science of Computer Programming 2009, 74(4), 219-237.
• Freitas L. . In: Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods (SBMF). 2009, Gramado, Brazil: Springer.
• Freitas L, Woodcock J, Fu Z. . Science of Computer Programming 2009, 74(4), 238-257.
• Woodcock J, Saaltink M, Freitas L. . In: Broy, M., Sitou, W., Hoare, T, ed. Engineering Methods and Tools for Software Safety and Security. Amsterdam: IOS Press, 2009, pp.311-330.
• Freitas L, Woodcock J, Zhang Y. . Science of Computer Programming 2009, 74(4), 197-218.
• McDermott J, Freitas L. . In: 6th ACM workshop on Formal methods in security engineering. 2008, Alexandria, Virginia, USA: ACM Press.
• Woodcock J, Freitas L. . In: 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2008, Belfast, UK: IEEE.
• Freitas L, Woodcock J. . Formal Aspects of Computing 2008, 20(1), 117-139.
• Woodcock J, Cavalcanti A, Gaudel MC, Freitas L. . York, UK: York University, 2008.
• Freitas L. . In: 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2008, Belfast, UK: IEEE.
• Freitas L, Fu Z, Woodcock J. . In: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS). 2007, Auckland, New Zealand: IEEE.
• Freitas L, Woodcock J. . In: Jones, C.B., Liu, Z., Woodcock, J, ed. Formal Methods and Hybrid Real-Time Systems. Berlin: Springer, 2007, pp.255-279.
• Freitas L, Mokos K, Woodcock J. . In: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS). 2007, Auckland, New Zealand: IEEE.
• Bicarregui JC, Woodcock JCP, Freitas L, Schellhorn G, Ramananandro T, Bowen J, Banach R, Butler M, Crocker D, George C, Haxthausen A, Jackson M. . In: Mondex Case Study Second Workshop. 2006, Abingdon, UK.
• Freitas L, Woodcock J, Cavalcanti A. . Innovations in Systems and Software Engineering 2006, 2(1), 49-64.
• Freitas L, Cavalcanti A, Woodcock J. . In: Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods (ICFEM). 2006, Macao, China: Springer.
• Woodcock J, Freitas L. . In: Theoretical Aspects of Computing: Third International Colloquium (ICTAC). 2006, Tunis, Tunisia: Springer.
• Miller T, Freitas L, Malik P, Utting M. . In: Integrated Formal Methods: 5th International Conference (IFM). 2005, Eindhoven, The Netherlands: Springer.
• Woodcock J, Cavalcanti A, Freitas L. . In: Formal Methods: International Symposium of Formal Methods (FM). 2005, 缅北禁地 upon Tyne, UK: Springer.
• Freitas L, Cavalcanti ALC, Sampaio A. . In: XVI Simpósio Brasileiro de Engenharia de Software. 2002, Gramado, Brazil: Biblioteca Digital Brasileira de Computação.
• Freitas L. . Universidade Federal de Pernambuco, Brazil: Centro de Informática, 2002.
• Freitas L, Cavalcanti ALC, Moura H. . In: 4th Brazilian Workshop on Formal Methods. 2001, Campina Grande, Brazil: Sociedade Brasileira de Computacao.