SPROUT UCI

Security and Privacy Research OUTfit (SPROUT) is a security research lab at University of California, Irvine

Irvine, CA

Pinned Repositories

APEX
APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
Language:Verilog6 3 04
captcha-study
Language:Jupyter Notebook20
CASU
Language:Verilog11
garota
Language:C++8 2 02
PAISA
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence
Language:C2 3 01
PDoT
Private DNS-over-TLS with TEE Support
Language:C4 2 20
pfb
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
Language:Verilog10
RATA
On the TOCTOU Problem in Remote Attestation
Language:Verilog13 1 01
VICEROY
VICEROY: GDPR-/CCPA-compliant Enforcement of Verifiable Accountless Consumer Requests
Language:C1 2 00
vrased
Language:Verilog17 1 13

SPROUT UCI's Repositories

sprout-uci/vrased
Language:Verilog17 1 13
sprout-uci/RATA
On the TOCTOU Problem in Remote Attestation
Language:Verilog13 1 01
sprout-uci/garota
Language:C++8 2 02
sprout-uci/APEX
APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
Language:Verilog6 3 04
sprout-uci/PDoT
Private DNS-over-TLS with TEE Support
Language:C4 2 20
sprout-uci/captcha-study
Language:Jupyter Notebook20
sprout-uci/PAISA
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence
Language:C2 3 01
sprout-uci/CASU
Language:Verilog11
sprout-uci/pfb
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
Language:Verilog10
sprout-uci/VICEROY
VICEROY: GDPR-/CCPA-compliant Enforcement of Verifiable Accountless Consumer Requests
Language:C1 2 00
sprout-uci/vrased-plus
VRASED+: VRASED with Verifier Authentication
Language:Verilog10
sprout-uci/genomic-security-journal-code
Language:Jupyter Notebook00
sprout-uci/KESIC
KESIC: Kerberos Extensions for Smart, IoT and CPS Devices
Language:C
sprout-uci/PARseL
Source code for PARseL: Towards a Verified Root-of-Trust over seL4
Language:C