diff --git a/docs/architecture/psa-thread-safety/key-slot-state-transitions.drawio b/docs/architecture/psa-thread-safety/key-slot-state-transitions.drawio
new file mode 100644
index 000000000..5da2a7fcc
--- /dev/null
+++ b/docs/architecture/psa-thread-safety/key-slot-state-transitions.drawio
@@ -0,0 +1,183 @@
+<mxfile host="app.diagrams.net" modified="2023-12-07T10:07:36.568Z" agent="Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:120.0) Gecko/20100101 Firefox/120.0" etag="WX9wRn5Pyc0ByqdG18_k" version="22.1.5" type="device">
+  <diagram name="Page-1" id="FGZeniR9zYej3VAosmPW">
+    <mxGraphModel dx="1185" dy="603" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
+      <root>
+        <mxCell id="0" />
+        <mxCell id="1" parent="0" />
+        <mxCell id="Xme0HpS_r-Lskl_YgTMW-13" value="" style="curved=1;endArrow=classic;html=1;rounded=0;entryX=0.988;entryY=0.663;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" target="Z1zLfVIJwQ9nnBBYjpjK-5" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="300" y="550" as="sourcePoint" />
+            <mxPoint x="370" y="570" as="targetPoint" />
+            <Array as="points">
+              <mxPoint x="301" y="577" />
+              <mxPoint x="331" y="605" />
+              <mxPoint x="360" y="570" />
+            </Array>
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Xme0HpS_r-Lskl_YgTMW-14" value="&lt;div&gt;unregister_read&lt;/div&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Xme0HpS_r-Lskl_YgTMW-13" vertex="1" connectable="0">
+          <mxGeometry x="-0.3881" y="2" relative="1" as="geometry">
+            <mxPoint x="32" y="-30" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-25" value="unregister_read" style="endArrow=classic;html=1;rounded=0;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0;entryDx=0;entryDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-4" target="Z1zLfVIJwQ9nnBBYjpjK-3" edge="1">
+          <mxGeometry x="0.6542" y="-2" width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="414" y="440" as="sourcePoint" />
+            <mxPoint x="414" y="600" as="targetPoint" />
+            <mxPoint as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-42" value="" style="endArrow=none;html=1;rounded=0;" parent="1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="520" y="640" as="sourcePoint" />
+            <mxPoint x="520" y="280" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-11" value="" style="endArrow=classic;html=1;rounded=0;entryX=1;entryY=1;entryDx=0;entryDy=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-3" target="Z1zLfVIJwQ9nnBBYjpjK-4" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="400" y="560" as="sourcePoint" />
+            <mxPoint x="399.9999999999998" y="430" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-12" value="&lt;div&gt;register_read&lt;br&gt;&lt;/div&gt;&lt;div&gt;psa_get_and_lock_key_slot_in_memory&lt;/div&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-11" vertex="1" connectable="0">
+          <mxGeometry x="0.2079" y="-2" relative="1" as="geometry">
+            <mxPoint y="-11" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-1" value="&lt;div&gt;EMPTY&lt;br&gt;&lt;/div&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="120" y="600" width="80" height="80" as="geometry" />
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-19" value="" style="endArrow=classic;html=1;rounded=0;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=0;entryDx=0;entryDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-2" target="Z1zLfVIJwQ9nnBBYjpjK-1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="120" y="430" as="sourcePoint" />
+            <mxPoint x="120" y="560" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-20" value="psa_fail_key_creation" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-19" vertex="1" connectable="0">
+          <mxGeometry x="0.2079" y="-2" relative="1" as="geometry">
+            <mxPoint x="2" y="21" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-2" value="FILLING" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="120" y="360" width="80" height="80" as="geometry" />
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-3" value="&lt;div&gt;FULL&lt;/div&gt;&lt;div&gt;!has_readers&lt;br&gt;&lt;/div&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="400" y="600" width="80" height="80" as="geometry" />
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-4" value="&lt;div&gt;FULL&lt;/div&gt;&lt;div&gt;has_readers&lt;br&gt;&lt;/div&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="400" y="360" width="80" height="80" as="geometry" />
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-5" value="&lt;div&gt;PENDING&lt;/div&gt;&lt;div&gt;DELETION&lt;br&gt;&lt;/div&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="260" y="480" width="80" height="80" as="geometry" />
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-7" value="" style="endArrow=classic;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="190" y="600" as="sourcePoint" />
+            <mxPoint x="188" y="425" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-8" value="psa_get_empty_key_slot" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-7" vertex="1" connectable="0">
+          <mxGeometry x="0.2079" y="-2" relative="1" as="geometry">
+            <mxPoint y="-24" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-9" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" parent="1" target="Z1zLfVIJwQ9nnBBYjpjK-2" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="160" y="280" as="sourcePoint" />
+            <mxPoint x="160" y="310.28" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-14" value="" style="endArrow=classic;html=1;rounded=0;exitX=1;exitY=0;exitDx=0;exitDy=0;" parent="1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="200.00427124746216" y="399.6557287525381" as="sourcePoint" />
+            <mxPoint x="400" y="400" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-18" value="psa_finish_key_creation" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-14" vertex="1" connectable="0">
+          <mxGeometry x="-0.0497" y="-3" relative="1" as="geometry">
+            <mxPoint x="8" y="-5" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-15" value="" style="curved=1;endArrow=classic;html=1;rounded=0;entryX=1;entryY=1;entryDx=0;entryDy=0;exitX=0;exitY=1;exitDx=0;exitDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-3" target="Z1zLfVIJwQ9nnBBYjpjK-3" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="416" y="670" as="sourcePoint" />
+            <mxPoint x="472" y="670" as="targetPoint" />
+            <Array as="points">
+              <mxPoint x="414" y="702" />
+              <mxPoint x="444" y="730" />
+              <mxPoint x="474" y="702" />
+            </Array>
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-16" value="&lt;div&gt;unregister_read&lt;/div&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-15" vertex="1" connectable="0">
+          <mxGeometry x="-0.3881" y="2" relative="1" as="geometry">
+            <mxPoint x="16" y="1" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-26" value="" style="endArrow=classic;html=1;rounded=0;entryX=1;entryY=0;entryDx=0;entryDy=0;exitX=0;exitY=1;exitDx=0;exitDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-4" target="Z1zLfVIJwQ9nnBBYjpjK-5" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="280" y="460" as="sourcePoint" />
+            <mxPoint x="330" y="410" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-27" value="psa_destroy_key" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-26" vertex="1" connectable="0">
+          <mxGeometry x="0.4866" y="-1" relative="1" as="geometry">
+            <mxPoint x="11" y="-5" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-28" value="&lt;div&gt;unregister_read&lt;/div&gt;" style="endArrow=classic;html=1;rounded=0;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=1;entryY=0;entryDx=0;entryDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-5" target="Z1zLfVIJwQ9nnBBYjpjK-1" edge="1">
+          <mxGeometry x="0.2766" y="1" width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="360" y="560" as="sourcePoint" />
+            <mxPoint x="410" y="510" as="targetPoint" />
+            <mxPoint as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-33" value="" style="endArrow=classic;html=1;rounded=0;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-3" target="Z1zLfVIJwQ9nnBBYjpjK-1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="272" y="550" as="sourcePoint" />
+            <mxPoint x="180" y="600" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-34" value="&lt;div&gt;psa_destroy_key&lt;/div&gt;&lt;div&gt;psa_purge_key&lt;/div&gt;&lt;div&gt;psa_close_key&lt;br&gt;&lt;/div&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-33" vertex="1" connectable="0">
+          <mxGeometry x="0.4866" y="-1" relative="1" as="geometry">
+            <mxPoint x="14" y="1" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-41" value="" style="endArrow=none;html=1;rounded=0;" parent="1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="160" y="280" as="sourcePoint" />
+            <mxPoint x="520" y="280" as="targetPoint" />
+            <Array as="points" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-44" value="psa_get_empty_key_slot" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-41" vertex="1" connectable="0">
+          <mxGeometry x="-0.6916" relative="1" as="geometry">
+            <mxPoint x="25" as="offset" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-43" value="" style="endArrow=none;html=1;rounded=0;" parent="1" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="480" y="640" as="sourcePoint" />
+            <mxPoint x="520" y="640" as="targetPoint" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-45" value="" style="curved=1;endArrow=classic;html=1;rounded=0;entryX=1;entryY=0;entryDx=0;entryDy=0;exitX=0;exitY=0;exitDx=0;exitDy=0;" parent="1" source="Z1zLfVIJwQ9nnBBYjpjK-4" target="Z1zLfVIJwQ9nnBBYjpjK-4" edge="1">
+          <mxGeometry width="50" height="50" relative="1" as="geometry">
+            <mxPoint x="409" y="372" as="sourcePoint" />
+            <mxPoint x="465" y="372" as="targetPoint" />
+            <Array as="points">
+              <mxPoint x="411" y="338" />
+              <mxPoint x="441" y="310" />
+              <mxPoint x="471" y="338" />
+            </Array>
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="Z1zLfVIJwQ9nnBBYjpjK-46" value="&lt;div&gt;register_read&lt;/div&gt;&lt;div&gt;psa_get_and_lock_key_slot_in_memory&lt;/div&gt;&lt;div&gt;psa_close_key&lt;/div&gt;&lt;div&gt;psa_purge_key&lt;br&gt;&lt;/div&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" parent="Z1zLfVIJwQ9nnBBYjpjK-45" vertex="1" connectable="0">
+          <mxGeometry x="-0.3881" y="2" relative="1" as="geometry">
+            <mxPoint x="21" y="-8" as="offset" />
+          </mxGeometry>
+        </mxCell>
+      </root>
+    </mxGraphModel>
+  </diagram>
+</mxfile>
diff --git a/docs/architecture/psa-thread-safety/key-slot-state-transitions.jpg b/docs/architecture/psa-thread-safety/key-slot-state-transitions.jpg
new file mode 100644
index 000000000..ebfadcb49
Binary files /dev/null and b/docs/architecture/psa-thread-safety/key-slot-state-transitions.jpg differ