research
∙
08/02/2023
Exploring IoT for real-time CO2 monitoring and analysis
As a part of this project, we have developed an IoT-based instrument uti...
share
research
∙
07/24/2023
HasTEE: Programming Trusted Execution Environments with Haskell
Trusted Execution Environments (TEEs) are hardware-enforced memory isola...
research
∙
05/06/2022
Synchron – An API and Runtime for Embedded Systems
Programming embedded systems applications involve writing concurrent, ev...
research
∙
08/17/2021
Higher-Order Concurrency for Microcontrollers
Programming microcontrollers involves low-level interfacing with hardwar...
research
∙
05/27/2021