Related papers below.
Ownership is Theft: Experiences building an embedded OS in Rust
Note to Rust team: I hope they submitted their findings to you all for evaluation. Part of reason for this submission is in case they didn't. Might provide helpful design or compiler feedback for language in this sector.
Github page for Tock for any wanting to help
Levy's page has numerous papers with interesting security tech. Includes key-value stores, covert channel mitigation, & Haskell web apps.