14 citations · 23 across the 6 of their papers we have counts for
6 papers
HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
Abhiroop Sarkar, Alejandro Russo
Confidential computing is a security paradigm that enables the protection of confidential code and data in a co-tenanted cloud deployment using specialized hardware isolation units…
Exploring IoT for real-time CO2 monitoring and analysis
Abhiroop Sarkar, Debayan Ghosh, Kinshuk Ganguly +2
As a part of this project, we have developed an IoT-based instrument utilizing the NODE MCU-ESP8266 module, MQ135 gas sensor, and DHT-11 sensor for measuring CO levels in parts…
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…
Synchron -- An API and Runtime for Embedded Systems
Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran
Programming embedded systems applications involve writing concurrent, event-driven and timing-aware programs. Traditionally, such programs are written in low-level machine-oriented…
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…
Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications
Abhiroop Sarkar, Mary Sheeran
With the growing ubiquity of Internet of Things(IoT), more complex logic is being programmed on resource-constrained IoT devices, almost exclusively using the C programming languag…