# Static analysis

1. [Cam Tenny - Beyond the Paper - End-to-End Program Analysis](https://www.youtube.com/watch?v=hmDz0Rv6hKI)
1. https://www.curry-on.org/2019/sessions/beyond-the-paper-end-to-end-program-analysis.html

# Programming language

1. [Secure Compilation](https://blog.sigplan.org/2019/07/01/secure-compilation/)

# Cautionary tale

1. [Thou Shalt Not Depend on Me: A look at JavaScript libraries in the wild](https://queue.acm.org/detail.cfm?id=3205288)
1. https://medium.com/@nodepractices/were-under-attack-23-node-js-security-best-practices-e33c146cb87d

# Surface area

1. [Towards Automated Application-Specific Software Stacks](https://arxiv.org/pdf/1907.01933.pdf)

# Vulnerability

1. https://medium.com/@shnatsel/how-rusts-standard-library-was-vulnerable-for-years-and-nobody-noticed-aebf0503c3d6
1. [ACLs don’t](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.406.4684&rep=rep1&type=pdf)
1. https://www.cs.auckland.ac.nz/~pgut001/pubs/book.pdf
1. https://pwnedkeys.com/
1. [What Spectre Means for Lanugage Implementers - Ben Titzer - PLISS 2019](https://www.youtube.com/watch?v=FGX-KD5Nh2g)
1. https://rambleed.com/
1. https://browserleaks.com/

# Reference

1. [Good Practices for Capability URLs](https://www.w3.org/TR/capability-urls/)
1. [Secure Socket API](https://securesocketapi.org/)
1. [Mind your Language(s): A discussion about languages and security](https://www.ssi.gouv.fr/uploads/IMG/pdf/Mind_Your_Languages_-_version_longue.pdf)
1. https://www.microsoft.com/en-us/research/blog/scaling-the-everest-of-software-security-with-dr-jonathan-protzenko/
1. https://www.owasp.org/index.php/Main_Page
1. https://www.owasp.org/index.php/Category:OWASP_Top_Ten_Project
1. https://wiki.sei.cmu.edu/confluence/display/seccode/Top+10+Secure+Coding+Practices
1. https://www.archive.ece.cmu.edu/~grey/
1. http://www.cs.umd.edu/projects/PL/selinks/
1. http://www.cis.upenn.edu/~stevez/sol/related.html
1. https://www.bsimm.com/
1. https://www.microsoft.com/en-us/securityengineering/sdl/
1. https://www.engineeringtrustworthysystems.com/
1. http://www.ats-lang.org/
1. http://www.cis.upenn.edu/~stevez/papers/publications.html
1. http://collingreene.com/6_buckets_of_prodsec.html
1. [On Post-Compromise Security](https://eprint.iacr.org/2016/221.pdf)
1. https://messaginglayersecurity.rocks/
1. https://github.blog/2019-05-23-introducing-new-ways-to-keep-your-code-secure/
1. [RustBelt](https://plv.mpi-sws.org/rustbelt/popl18/)
1. https://github.com/dckc/awesome-ocap
1. https://projects.csail.mit.edu/jeeves/
1. https://www.sans.org/top25-software-errors/
1. https://www.owasp.org/index.php/Top_10_2013-Top_10
1. https://nvd.nist.gov/cwe.cfm
1. https://en.wikipedia.org/wiki/Software_Development_Security
1. http://gigi.nullneuron.net/gigilabs/the-sorry-state-of-the-web-in-2016/
1. http://www.ranum.com/security/computer_security/editorials/dumb/index.html
1. [Information Technology — Programming languages — Guidance	to avoiding vulnerabilities in programming languages](http://www.open-std.org/jtc1/sc22/wg23/docs/ISO-IECJTC1-SC22-WG23_N0751-tr24772-1-after-pre-meeting-51-webex-20171016.pdf)