A PhD student doing research in hardware support for security @ Yale CASLAB.
- Yale University
-
QC-TEE Public
Verilog implementation of the hardware architecture designed to protect quantum circuits in superconducting quantum machines
-
-
qc-hardware-cybersecurity-bibtex Public
Forked from caslab-code/qc-hardware-cybersecurity-bibtexList of references for quantum computer hardware cybersecurity papers.
TeX UpdatedJul 31, 2024 -
-
Vitis_Accel_Examples Public
Forked from Xilinx/Vitis_Accel_ExamplesVitis_Accel_Examples
Makefile Other UpdatedJun 22, 2022 -
gramine Public
Forked from gramineproject/gramineA library OS for Linux multi-process applications, with Intel SGX support
C GNU Lesser General Public License v3.0 UpdatedJan 13, 2022 -
dolma Public
Forked from efeslab/dolmaC++ BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2021 -
VHDL-codes Public
various VHDL codes from course "Digital VLSI Systems" 2020
-
stt Public
Forked from cwfletcher/sttC++ BSD 3-Clause "New" or "Revised" License UpdatedFeb 15, 2021 -
sdo Public
Forked from cwfletcher/sdoC++ BSD 3-Clause "New" or "Revised" License UpdatedJan 7, 2021 -
cleanupspec Public
Forked from gururaj-s/cleanupspecCleanupSpec (MICRO-2019)
C++ BSD 3-Clause "New" or "Revised" License UpdatedOct 22, 2020 -
InvisiSpec-1.0 Public
Forked from mjyan0720/InvisiSpec-1.0Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
-
hackdac-2018-soc Public
Forked from MartinMeng008/hackdac-2018-socBuggy SoC used for the second phase of the Hack@DAC 2018 hardware security competition.
SystemVerilog Other UpdatedMay 15, 2020