Skip to content

@SSR-Bell Data Driven Software Systems Research @ Nokia Bell Labs

Change the repository type filter

All

    Repositories list

    9 repositories

    • zkstream

      Public
      Repository for the artifact accompanying our paper "zkStream: a Framework for Trustworthy Stream Processing".
      Rust
      •
      BSD 3-Clause Clear License
      •1•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • tee-duet

      Public
      Python
      •
      BSD 3-Clause Clear License
      •1•1•0•0•Updated Jul 11, 2024Jul 11, 2024

    • state-of-the-art

      Public
      0•1•0•0•Updated Jul 9, 2024Jul 9, 2024

    • proof-as-a-service

      Public
      C++
      •
      BSD 3-Clause Clear License
      •2•1•0•0•Updated Jun 24, 2024Jun 24, 2024

    • knix

      Public
      Serverless computing platform with process-based lightweight function execution and container-based application isolation. Works in Knative and bare metal/VM environments.
      JavaScript
      •
      Apache License 2.0
      •26•0•0•0•Updated Apr 29, 2024Apr 29, 2024

    • .github

      Public
      0•0•0•0•Updated Mar 18, 2024Mar 18, 2024

    • coco-linux

      Public
      confidential-containers linux kernel source tree
      C
      •
      Other
      •54k•0•0•0•Updated Feb 26, 2024Feb 26, 2024

    • coco-edk2

      Public
      confidential-containers ovmf (EDK II)
      C
      •
      Other
      •2.5k•0•0•0•Updated Feb 25, 2024Feb 25, 2024

    • coco-qemu

      Public
      confidential-containers qemu repo
      C
      •
      Other
      •5.6k•0•0•0•Updated Feb 25, 2024Feb 25, 2024