qinhant

Pinned Repositories

SE_verification_CCS
Language:Verilog50
ShadowLogicArtifact
This repo is for ASPLOS 2025 artifact evaluation
Language:Verilog31
Jasper_demo
A demo for cadence jaspergold
Language:Verilog10
abc_exp
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C00
prospect
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
Language:C00
SE_demo
Language:Verilog00
ShortCutLogic
Language:SystemVerilog00
TaintLibrary
Language:SystemVerilog00
prospect
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
Language:C142
ILA_Rocket
Language:Verilog51

qinhant's Repositories

qinhant/abc_exp
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C
qinhant/ShortCutLogic
Language:SystemVerilog
qinhant/prospect
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
Language:C
qinhant/TaintLibrary
Language:SystemVerilog
qinhant/ShadowLogicArtifact
This repo is for ASPLOS 2025 artifact evaluation
Language:Verilog31
qinhant/Jasper_demo
A demo for cadence jaspergold
Language:Verilog1
qinhant/SE_verification_CCS
Language:Verilog5
qinhant/SE_demo
Language:Verilog