Pinned Repositories
ixxxMrAnderson.github.io
MCSA
A cross-library formal verification against different crypto libraries by utilizing "saferewrite", a symbolic execution based function equivalence verifier.
snarkblic
toy_compiler
MS208 homework, a toy compiler to RISCV asm
toy_CPU
A toy pipelined CPU with cache
train_tickets_system
A ticket booking system (flask & B+ tree)
ixxxMrAnderson's Repositories
ixxxMrAnderson/MCSA
A cross-library formal verification against different crypto libraries by utilizing "saferewrite", a symbolic execution based function equivalence verifier.
ixxxMrAnderson/ixxxMrAnderson.github.io
ixxxMrAnderson/snarkblic
ixxxMrAnderson/toy_compiler
MS208 homework, a toy compiler to RISCV asm
ixxxMrAnderson/toy_CPU
A toy pipelined CPU with cache
ixxxMrAnderson/train_tickets_system
A ticket booking system (flask & B+ tree)