diff options
| author | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
| commit | a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (patch) | |
| tree | 08df3db7f8fffad6360a476d20db1d40b36c85cb /documentation | |
| parent | 78fd01f7e6688448bbd710336d4d7b1c35ae058a (diff) | |
No more "n/"-prefixed functions.
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/research/Security.md | 5 |
1 files changed, 5 insertions, 0 deletions
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/) |