Concurrency in Stronghold
Learn about Stronghold as a concurrent software, the actor model STM with TL2 and RLU.
Learn about Stronghold as a concurrent software, the actor model STM with TL2 and RLU.
Cryptographic procedures
Learn how Stronghold was analyzed to prevent deadlocks from happening.
Handling secrets at runtime with non-contigouos data types.
Runtime extensions
Discover how Stronghold models threats using STRIDE and how the different threat levels are handled