6 citations · 6 across the 4 of their papers we have counts for
5 papers
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…
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…
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Robert Krook, Nicholas Smallbone, Bo Joel Svensson +1
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multip…
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo +1
Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX…
Higher-Order Concurrency for Microcontrollers
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson +1
Programming microcontrollers involves low-level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C an…