New project:

Trustworthy Autonomous Systems Node in Verifiability

https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V026801/1