From e5153db14981fa7da2c34058bed494a8662496c8 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 5 Mar 2020 00:56:20 -0400 Subject: Beginning to cache artifacts. --- documentation/research/Security.md | 3 +++ documentation/research/math.md | 1 + 2 files changed, 4 insertions(+) (limited to 'documentation') diff --git a/documentation/research/Security.md b/documentation/research/Security.md index 2cc7cbc9b..33b37c373 100644 --- a/documentation/research/Security.md +++ b/documentation/research/Security.md @@ -77,3 +77,6 @@ 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) +# Control-flow integrity +1. [On the Effectiveness of Type-based Control Flow Integrity](https://sajjadium.github.io/files/acsac2018typecfi_paper.pdf) + diff --git a/documentation/research/math.md b/documentation/research/math.md index 417846aba..777a3c1d2 100644 --- a/documentation/research/math.md +++ b/documentation/research/math.md @@ -191,6 +191,7 @@ 1. [THE GEOMETRY OF REFLECTION GROUPS](http://people.mpim-bonn.mpg.de/geordie/mpg.pdf) 1. https://kubuszok.com/2018/algebras-we-love/ 1. [Notes on Computational Group Theory](https://www.math.colostate.edu/~hulpke/CGT/cgtnotes.pdf) +1. [An Invitation to General Algebra and Universal Constructions](https://math.berkeley.edu/~gbergman/245/) # Logic -- cgit v1.2.3