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
1 2 01
AREST
LFI Attack resistant FSM Encoding
Language:Python4 0 00
BioInfoVerify
Formal Verification of Bioinformatics Libraries
Language:Makefile10
ISV
Integrated Security Validation in RTL Models
Language:SMT6 3 02
qc-err-mitig
A tutorial on Quantum Noise Characterization and Mitigation
Language:Jupyter Notebook1 0 00
qudc
A simple qudit-based quantum language to graph parser.
Language:Rust2 2 00
Qutee.jl
An opinionated Quantum Toolbox
Language:Julia00
SnpsToolTutorial
Simple beginner tutorial for Synopsys tool chain
Language:Verilog0 0 00
TEE-Properties
Generate security properties for Trusted Execution Environments
00
Trusthub-Trojans
1 4 00

Embedded Systems Lab : University of Florida's Repositories

UFESL/ISV
Integrated Security Validation in RTL Models
Language:SMT6 3 02
UFESL/AREST
LFI Attack resistant FSM Encoding
Language:Python4 0 00
UFESL/qudc
A simple qudit-based quantum language to graph parser.
Language:Rust2 2 00
UFESL/.github
Introduction about Embedded systems lab, University of Florida
1 2 01
UFESL/BioInfoVerify
Formal Verification of Bioinformatics Libraries
Language:Makefile10
UFESL/qc-err-mitig
A tutorial on Quantum Noise Characterization and Mitigation
Language:Jupyter Notebook1 0 00
UFESL/Trusthub-Trojans
1 4 00
UFESL/Qutee.jl
An opinionated Quantum Toolbox
Language:Julia00
UFESL/simple-tasks
Simple set of assignments.
00
UFESL/SnpsToolTutorial
Simple beginner tutorial for Synopsys tool chain
Language:Verilog0 0 00
UFESL/TEE-Properties
Generate security properties for Trusted Execution Environments
00
UFESL/gen-ai-bias
Language:Jupyter Notebook1