Miden USDCx Audit
OpenZeppelin audited Miden USDCx: the faucet account, mint and burn paths, administration notes and the supporting Rust library. 19 issues, 13 resolved.
This is the summary OpenZeppelin Blog publishes in its feed. The full article lives on their site.