MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Border Patrol: Improving Smart Device Security through Type-Aware Systems Design
01 February 2017 - 31 July 2023
EP-N028201-1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/N028201/1