Lucien98's repositories
Language:NewLispNOASSERTION000
coco-alma_evaluation
Evaluation for the verification tool coco-alma
Language:PythonApache-2.0000
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.
Language:Verilog000
SynNullFresh2
Synthesize the masked S-boxes in NullFresh2, feeding to Prover or SILVER to verify.
Language:Verilog000
SynLowRandomMasking
Synthesize the masked S-boxes in Low_Random_Masking, feeding to Prover or SILVER to verify.
Language:Verilog000
maskVerif_evaluation
Evaluation for the verification tool maskVerif
Language:VerilogNOASSERTION000
UCASHomework
Solutions for homework of some courses in UCAS. Cyber Security. Compulsory courses.
pointer-ananalysis
assignment3
Language:C++000
IR-assignment
llvm-assignment
Language:C000
ast-interpreter
the assignment of compile course, take examples from ycdxsb/ast-interpreter in this website.
Language:C000
long_range_attack
This is the graduation project of me. It's about stake bleeding long range attack and casper ffg.