aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/security
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/security/verification/formal.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/bookmark/security/verification/formal.md b/documentation/bookmark/security/verification/formal.md
index ed59c673a..c2e450d7e 100644
--- a/documentation/bookmark/security/verification/formal.md
+++ b/documentation/bookmark/security/verification/formal.md
@@ -1,4 +1,6 @@
# Reference
+0. []()
+0. [Certifying Interpreters in Racket](https://kmicinski.com/certifying-interpreters)
0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf)