6 citations · 6 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
MicroHasTEE: Bare-Metal Haskell for Type-Level Peripheral Ownership on Armv8-M
Robert Krook
Arm TrustZone for Armv8-M isolates Secure and Non-secure software, but developers must still coordinate peripheral attribution, interrupt routing, initialization, and gateway inter…
cs.DC2026
CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation
Robert Krook, Lennart Augustsson
Cloud Haskell brings Erlang-style distributed programming to Haskell, but its treatment of mobile code exposes a difficult boundary in the source-level API. Remote processes must b…