From a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 26 Jul 2019 21:23:27 -0400 Subject: No more "n/"-prefixed functions. --- documentation/research/Security.md | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'documentation/research/Security.md') diff --git a/documentation/research/Security.md b/documentation/research/Security.md index 0609f92c0..2990c7243 100644 --- a/documentation/research/Security.md +++ b/documentation/research/Security.md @@ -1,3 +1,8 @@ +# 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/) -- cgit v1.2.3