Miden Transaction Kernel Security Review
OpenZeppelin's security review of the Miden transaction kernel, focused on execution flow and authentication of nondeterministic inputs. 8 issues identified.
This is the summary OpenZeppelin Blog publishes in its feed. The full article lives on their site.