aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/security
diff options
context:
space:
mode:
authorEduardo Julian2022-11-05 21:23:20 -0400
committerEduardo Julian2022-11-05 21:23:20 -0400
commitfd8ea1e1b9cae781abe42aeadda2e0ef149994d6 (patch)
tree7fdc152ac481d4f2a8b7be12c98d11a8c644f541 /documentation/bookmark/security
parent736521eb56a45122eb0a545b677d3ffca1451080 (diff)
Property-based testing can now log/print successful seeds from run.
Diffstat (limited to 'documentation/bookmark/security')
-rw-r--r--documentation/bookmark/security/compilation.md5
-rw-r--r--documentation/bookmark/security/memory.md2
-rw-r--r--documentation/bookmark/security/privacy.md1
3 files changed, 8 insertions, 0 deletions
diff --git a/documentation/bookmark/security/compilation.md b/documentation/bookmark/security/compilation.md
new file mode 100644
index 000000000..ad3bc8a62
--- /dev/null
+++ b/documentation/bookmark/security/compilation.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Secure Compilation](https://drops.dagstuhl.de/opus/volltexte/2022/15933/pdf/dagrep_v011_i010_p173_21481.pdf)
+
diff --git a/documentation/bookmark/security/memory.md b/documentation/bookmark/security/memory.md
index 3bbd00fe9..f0704a136 100644
--- a/documentation/bookmark/security/memory.md
+++ b/documentation/bookmark/security/memory.md
@@ -1,4 +1,6 @@
# Reference
+0. []()
+0. [TAG: Tagged Architecture Guide](https://dl.acm.org/doi/pdf/10.1145/3533704)
0. [Why is memory safety still a concern?](https://docs.google.com/presentation/d/1EscMOcMNOwi-bCgOthjiwIXE30w_SeHk3ahjyY0pX10/edit#slide=id.p)
diff --git a/documentation/bookmark/security/privacy.md b/documentation/bookmark/security/privacy.md
index 0f7bb2ab5..2865741d2 100644
--- a/documentation/bookmark/security/privacy.md
+++ b/documentation/bookmark/security/privacy.md
@@ -1,6 +1,7 @@
# Reference
0. []()
+0. [](https://selfprivacy.org/en/)
0. [Sovereign Stack: Take Back What's Yours](https://sovereignstack.tools/)
0. [Privacy Resources](https://sovereignstack.tools/privacy-resources/)