Skip to content

@sprout-uci SPROUT UCI

Change the repository type filter

All

    Repositories list

    16 repositories

    • EILID

      Public
      Verilog
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 17, 2025Jan 17, 2025

    • PAISA

      Public
      Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence
      C
      •1•4•0•0•Updated Jan 17, 2025Jan 17, 2025

    • DB-PAISA

      Public
      DB-PAISA [PETS'25]
      C
      •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

    • RATA

      Public
      On the TOCTOU Problem in Remote Attestation
      formal-verificationremote-attestationsecurity
      Verilog
      •
      GNU General Public License v3.0
      •1•13•0•0•Updated Jun 4, 2024Jun 4, 2024

    • KESIC

      Public
      KESIC: Kerberos Extensions for Smart, IoT and CPS Devices
      C
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated May 18, 2024May 18, 2024

    • CASU

      Public
      Verilog
      •
      GNU General Public License v3.0
      •1•1•0•0•Updated Feb 15, 2024Feb 15, 2024

    • PARseL

      Public
      Source code for PARseL: Towards a Verified Root-of-Trust over seL4
      C
      •0•0•0•0•Updated Sep 26, 2023Sep 26, 2023

    • captcha-study

      Public
      Jupyter Notebook
      •0•2•1•0•Updated May 23, 2023May 23, 2023

    • VICEROY

      Public
      VICEROY: GDPR-/CCPA-compliant Enforcement of Verifiable Accountless Consumer Requests
      C
      •1•1•0•0•Updated Feb 27, 2023Feb 27, 2023

    • pfb

      Public
      Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
      Verilog
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated May 26, 2022May 26, 2022

    • vrased

      Public
      Verilog
      •
      GNU General Public License v3.0
      •3•17•0•0•Updated May 20, 2022May 20, 2022

    • vrased-plus

      Public
      VRASED+: VRASED with Verifier Authentication
      Verilog
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated May 7, 2022May 7, 2022

    • APEX

      Public
      APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
      Verilog
      •4•6•0•0•Updated Apr 12, 2022Apr 12, 2022

    • genomic-security-journal-code

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Mar 22, 2022Mar 22, 2022

    • garota

      Public
      C++
      •2•9•0•0•Updated Mar 3, 2022Mar 3, 2022

    • PDoT

      Public
      Private DNS-over-TLS with TEE Support
      C
      •0•4•2•0•Updated Sep 18, 2020Sep 18, 2020