@misc{indiciaef7e538d8ad79,
  title = {MicroHasTEE: Bare-Metal Haskell for Type-Level Peripheral Ownership on Armv8-M},
  author = {Robert Krook},
  year = {2026},
  url = {https://arxiv.org/abs/2609.12580},
  note = {Source identifier: 2609.12580}
}