acks

Author: bacam

LICENSE

@@ -5,7 +5,7 @@ models.
 
 Sail is subject to the BSD two-clause licence below.
 
-Copyright (c) 2013-2021
+Copyright (c) 2013-2025
   Kathyrn Gray
   Shaked Flur
   Stephen Kell
@@ -38,6 +38,14 @@ Cambridge Computer Laboratory (Department of Computer Science and
 Technology) under DARPA/AFRL contracts FA8650-18-C-7809 ("CIFV")
 and FA8750-10-C-0237 ("CTSRD").
 
+This work was supported by the UK Industrial Strategy Challenge Fund
+(ISCF) under the Digital Security by Design (DSbD) Programme, to
+deliver a DSbDtech enabled digital platform (grant 105694).
+
+This work was funded in part by UK Research and Innovation (UKRI)
+under the UK government’s Horizon Europe funding guarantee for
+ERC-AdG-2022, EP/Y035976/1 SAFER.
+
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions
 are met: