Property-based testing can now log/print successful seeds from run.

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/)