Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Leo Freitas

Newcastle AuthorsTitleYearFull text
Dr Paolo Modesti
Dr Leo Freitas
Security analysis of the open banking account and transaction API protocol2025
Dr Leo Freitas
Aaron Buhagiar
Dr Bill Scott
SmartAudits: Applying Timebands to a Medical Device2024
Dr Leo Freitas
Aaron Buhagiar
Dr Bill Scott III
SmartAudits: Applying Timebands to a Medical Device2024
Dr Bill Scott III
Dr Leo Freitas
System and Method for Monitoring Body Tissue2024
Emeritus Professor John Fitzgerald
Professor Peter Larsen
Dr Ken Pierce
Dr Leo Freitas
Nick Battle
Verification Technology for VDM: Craft and Automation2024
Dr Bill Scott III
Stuart Kay
Dr Leo Freitas
Body Tissue Preservation System and Method: RFID Encryption2021
Aaron Buhagiar
Dr Leo Freitas
Dr Bill Scott
Persufflation - Current State of Play2021
Dr Leo Freitas
Dr Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard2020
Sam Kennedy
Dr Leo Freitas
Mark Turner
Clinical Prioritisation Assistance Tool (CPAT) for COVID-192020
Dr Martin Emms
Dr Leo Freitas
Mastercard Contactless Reader specification verification2020
Dr Leo Freitas
Dr Bill Scott
Professor Patrick Degenaar
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems2020
Professor Michael Harrison
Dr Leo Freitas
Dr Michael Drinnan
Costanzo Di Maria
Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine2019
Dr Leo Freitas
Dr Paolo Modesti
Dr Martin Emms
A methodology for protocol verification applied to EMV® 12018
Dr Leo Freitas
VDM at Large: Modelling the EMV® 2nd Generation Kernel2018
Dr Leo Freitas
Dr Martin Emms
Protocol Correctness Analysis EMV 2nd Generation Specifications - Formal specification of EMV 2nd Generation Kernel2017
12345