Pinned Repositories
ast-interpreter
the assignment of compile course, take examples from ycdxsb/ast-interpreter in this website.
coco-alma_evaluation
Evaluation for the verification tool coco-alma
IR-assignment
llvm-assignment
long_range_attack
This is the graduation project of me. It's about stake bleeding long range attack and casper ffg.
maskVerif_evaluation
Evaluation for the verification tool maskVerif
prover
SynLowRandomMasking
Synthesize the masked S-boxes in Low_Random_Masking, feeding to Prover or SILVER to verify.
SynNullFresh2
Synthesize the masked S-boxes in NullFresh2, feeding to Prover or SILVER to verify.
SynOthers
Synthesize the masked S-boxes in Low-Latency-Masked-Cubic-Functions, keccak_dom, Low-Latency_Keccak, AESTIScheme, and Masked AES hardware, feeding to Prover or SILVER to verify.
UCASHomework
Solutions for homework of some courses in UCAS. Cyber Security. Compulsory courses.
Lucien98's Repositories
Lucien98/ast-interpreter
the assignment of compile course, take examples from ycdxsb/ast-interpreter in this website.
Lucien98/long_range_attack
This is the graduation project of me. It's about stake bleeding long range attack and casper ffg.
Lucien98/UCASHomework
Solutions for homework of some courses in UCAS. Cyber Security. Compulsory courses.
Lucien98/coco-alma_evaluation
Evaluation for the verification tool coco-alma
Lucien98/IR-assignment
llvm-assignment
Lucien98/maskVerif_evaluation
Evaluation for the verification tool maskVerif
Lucien98/prover
Lucien98/SynLowRandomMasking
Synthesize the masked S-boxes in Low_Random_Masking, feeding to Prover or SILVER to verify.
Lucien98/SynNullFresh2
Synthesize the masked S-boxes in NullFresh2, feeding to Prover or SILVER to verify.
Lucien98/SynOthers
Synthesize the masked S-boxes in Low-Latency-Masked-Cubic-Functions, keccak_dom, Low-Latency_Keccak, AESTIScheme, and Masked AES hardware, feeding to Prover or SILVER to verify.
Lucien98/pointer-ananalysis
assignment3
Lucien98/pos