diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/research/Security.md | 3 | ||||
| -rw-r--r-- | documentation/research/math.md | 1 |
2 files changed, 4 insertions, 0 deletions
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 |