1. What we have here is failure to validate: summer of langsec;Ali;IEEE Secur. Privacy,2021
2. Protecting systems from exploits using language-theoretic security;Anantharaman,2022
3. Why information security is hard: an economic perspective;Anderson,2001
4. Ten years of Hoare’s logic: a survey—Part I;Apt;ACM Trans. Program. Lang.Syst. (TOPLAS),1981
5. Recommendation for key Management: Part 1 – General;Barker,2020