From fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 5 Nov 2022 21:23:20 -0400
Subject: Property-based testing can now log/print successful seeds from run.

---
 documentation/bookmark/security/compilation.md | 5 +++++
 documentation/bookmark/security/memory.md      | 2 ++
 documentation/bookmark/security/privacy.md     | 1 +
 3 files changed, 8 insertions(+)
 create mode 100644 documentation/bookmark/security/compilation.md

(limited to 'documentation/bookmark/security')

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/)
 
-- 
cgit v1.2.3