teotro

A PhD student doing research in hardware support for security @ Yale CASLAB.

Yale University

Pinned Repositories

cleanupspec
CleanupSpec (MICRO-2019)
Language:C++0 0 00
CPSC-420
00
dolma
Language:C++0 0 00
gramine
A library OS for Linux multi-process applications, with Intel SGX support
Language:C0 0 00
hackdac-2018-soc
Buggy SoC used for the second phase of the Hack@DAC 2018 hardware security competition.
Language:SystemVerilog0 0 00
InvisiSpec-1.0
Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
Language:C++1 0 00
qc-hardware-cybersecurity-bibtex
List of references for quantum computer hardware cybersecurity papers.
Language:TeX00
sdo
Language:C++0 0 00
stt
Language:C++0 0 00
VHDL-codes
various VHDL codes from course "Digital VLSI Systems" 2020
Language:VHDL3 1 00

teotro's Repositories

teotro/VHDL-codes
various VHDL codes from course "Digital VLSI Systems" 2020
Language:VHDL3 1 00
teotro/InvisiSpec-1.0
Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
Language:C++1 0 00
teotro/cleanupspec
CleanupSpec (MICRO-2019)
Language:C++0 0 00
teotro/CPSC-420
00
teotro/dolma
Language:C++0 0 00
teotro/gramine
A library OS for Linux multi-process applications, with Intel SGX support
Language:C0 0 00
teotro/hackdac-2018-soc
Buggy SoC used for the second phase of the Hack@DAC 2018 hardware security competition.
Language:SystemVerilog0 0 00
teotro/qc-hardware-cybersecurity-bibtex
List of references for quantum computer hardware cybersecurity papers.
Language:TeX00
teotro/sdo
Language:C++0 0 00
teotro/stt
Language:C++0 0 00
teotro/Vitis_Accel_Examples
Vitis_Accel_Examples
Language:Makefile0 0 00
teotro/website
Language:JavaScript1 0