From f21ca0dc1956a47b8f7ac6e0ea67d7d246c55280 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 6 Jun 2022 01:17:43 -0400
Subject: Added extensions to JS interop for working with "undefined" values.

---
 documentation/bookmark/security/auditing/bill_of_materials.md | 4 ++++
 documentation/bookmark/security/verification/formal.md        | 4 ++++
 2 files changed, 8 insertions(+)
 create mode 100644 documentation/bookmark/security/auditing/bill_of_materials.md
 create mode 100644 documentation/bookmark/security/verification/formal.md

(limited to 'documentation/bookmark/security')

diff --git a/documentation/bookmark/security/auditing/bill_of_materials.md b/documentation/bookmark/security/auditing/bill_of_materials.md
new file mode 100644
index 000000000..5f6ec4f4e
--- /dev/null
+++ b/documentation/bookmark/security/auditing/bill_of_materials.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Not All SBOMs Are Created Equal](https://blog.chainguard.dev/not-all-sboms-are-created-equal/)
+
diff --git a/documentation/bookmark/security/verification/formal.md b/documentation/bookmark/security/verification/formal.md
new file mode 100644
index 000000000..ed59c673a
--- /dev/null
+++ b/documentation/bookmark/security/verification/formal.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf)
+
-- 
cgit v1.2.3