Acknowledgements

ENSURESEC

H2020 - Grant agreement 883242

SPARTA

H2020 - Grant agreement 830892

DECODER

H2020 - Grant agreement 824231

VESSEDIA

H2020 - Grant agreement 731453

STANCE

FP7-ICT - Grant agreement 317753

U3CAT

ANR-08-SEGI-0021

https://frama-c.com/u3cat

CAT

ANR-05-RNTL-0003

https://anr.fr/Project-ANR-05-RNTL-0003