Abhiroop Sarkar's repositories
Abhiroop.github.io
My personal site
ghc-trusted
The GHC Trusted RTS for Intel SGX
trestor-core
An efficient, distributed, cryptographically secured protocol.
chalmersfp.github.io
Sources for the website of the Chalmers FP group
CML_benchmarks
The code and other assorted files pertaining to my attempts to benchmark parallel Concurrent ML processing in a handful of languages
confidential-computing-zoo
Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.
haskell-wasm
Haskell WebAssembly Toolkit
helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
HsPaillier
Simple Paillier cryptosystem
kam
Learning about KAM
MicroHs
Tiny functional language implemented with combinators
min-caml
moved from https://sourceforge.net/p/min-caml/code/
msgpack-haskell
Haskell implementation of MessagePack / msgpack.org[Haskell]
operational
Big step operational semantics of HasTEE
purescript
A strongly-typed language that compiles to JavaScript
qc-ifc
QuickCheck IFC
sgx-papers
A list of system papers using/about Intel SGX