Embedded Systems Lab : University of Florida
The Official GitHub Repository of Embedded Systems Lab, University of Florida
Pinned Repositories
.github
Introduction about Embedded systems lab, University of Florida
AREST
LFI Attack resistant FSM Encoding
ISV
Integrated Security Validation in RTL Models
qc-err-mitig
A tutorial on Quantum Noise Characterization and Mitigation
qudc
A simple qudit-based quantum language to graph parser.
Qutee.jl
An opinionated Quantum Toolbox
simple-tasks
Simple set of assignments.
SnpsToolTutorial
Simple beginner tutorial for Synopsys tool chain
TEE-Properties
Generate security properties for Trusted Execution Environments
Trusthub-Trojans
Embedded Systems Lab : University of Florida's Repositories
UFESL/ISV
Integrated Security Validation in RTL Models
UFESL/AREST
LFI Attack resistant FSM Encoding
UFESL/qudc
A simple qudit-based quantum language to graph parser.
UFESL/.github
Introduction about Embedded systems lab, University of Florida
UFESL/qc-err-mitig
A tutorial on Quantum Noise Characterization and Mitigation
UFESL/Trusthub-Trojans
UFESL/Qutee.jl
An opinionated Quantum Toolbox
UFESL/simple-tasks
Simple set of assignments.
UFESL/SnpsToolTutorial
Simple beginner tutorial for Synopsys tool chain
UFESL/TEE-Properties
Generate security properties for Trusted Execution Environments
UFESL/gen-ai-bias