Bo-Yuan-Huang

Security researcher

Intel Corp.

Pinned Repositories

3la-formal-check
Formal verification of 3LA program fragments
Language:C++0 2 00
CBMC-Vboot
This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
Language:C1 2 00
cpp-starter
CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen
Language:CMake10 2 32
Docker-Ubuntu-Dev
Set up a clean container for Linux using Docker
Language:Shell1 2 30
garnet-ila
The ILA model of the garnet design from Stanford AHA
Language:Verilog2 2 01
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language:C++3 1 00
ParaSAT
Language:C++1 2 00
TACAS-artifact
The repo for TACAS artifact submission
Language:HTML1 2 00
verilog-parser
A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.
Language:C1 3 21
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language:C++75 13 9718

Bo-Yuan-Huang's Repositories

Bo-Yuan-Huang/cpp-starter
CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen
Language:CMake10 2 32
Bo-Yuan-Huang/ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language:C++3 1 00
Bo-Yuan-Huang/garnet-ila
The ILA model of the garnet design from Stanford AHA
Language:Verilog2 2 01
Bo-Yuan-Huang/CBMC-Vboot
This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
Language:C1 2 00
Bo-Yuan-Huang/Docker-Ubuntu-Dev
Set up a clean container for Linux using Docker
Language:Shell1 2 30
Bo-Yuan-Huang/ParaSAT
Language:C++1 2 00
Bo-Yuan-Huang/TACAS-artifact
The repo for TACAS artifact submission
Language:HTML1 2 00
Bo-Yuan-Huang/verilog-parser
A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.
Language:C1 3 21
Bo-Yuan-Huang/3la-formal-check
Formal verification of 3LA program fragments
Language:C++0 2 00
Bo-Yuan-Huang/3la-ir-example
Example showing the different stages of Relay and TVM IR for a single program.
Language:Python1 0
Bo-Yuan-Huang/3la-tvm-exact
Language:Python2 01
Bo-Yuan-Huang/argparse
A slimline C++ class for parsing command-line arguments, with an interface similar to python's class of the same name
Language:C++1 0
Bo-Yuan-Huang/Bo-Yuan-Huang.github.io
Language:CSS2 0
Bo-Yuan-Huang/coreir
Language:C++2 0
Bo-Yuan-Huang/cpp-taskflow
Modern C++ Parallel Task Programming Library
Language:C++2 0
Bo-Yuan-Huang/cxx-template
A template featuring modern CMake, Catch, Cppcheck, Clang-Tidy, Azure Pipeline, Doxygen, etc.
2 0
Bo-Yuan-Huang/Design-Driver
Design driver for the hardware security project
Language:Verilog2 0
Bo-Yuan-Huang/flexasr-sim
Language:C++2 0
Bo-Yuan-Huang/FwSynth
Firmware synthesis based on hardware ILA models
Language:C2 0
Bo-Yuan-Huang/incubator-tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Language:Python1 0
Bo-Yuan-Huang/ItSy
ILA template-based Synthesis
Language:C++2 0
Bo-Yuan-Huang/lmac-ila
ILA of LMAC
Language:C++2 01
Bo-Yuan-Huang/minisat
A minimalistic and high-performance SAT solver
Bo-Yuan-Huang/nvdla-ila
ILA of NVDLA
Language:C++2 0
Bo-Yuan-Huang/pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:Python1 0
Bo-Yuan-Huang/PythonAPI
Language:CMake2 0
Bo-Yuan-Huang/seahorn
SeaHorn Verification Framework
Language:C
Bo-Yuan-Huang/smack
SMACK Software Verifier And Verification Toolchain
Language:C2 01