search

miaotony / miaotony.github.io

My personal website. Welcome~
https://miaotony.xyz
1 stars 1 forks source link

CTF | 2020 CISCN初赛 Z3&LFSR WriteUp | MiaoTony's小窝 #50

Open miaotony opened 3 years ago

miaotony commented 3 years ago

https://miaotony.xyz/2020/08/27/CTF_2020CISCN_preliminary/

水了一波CISCN线上初赛，这里来写一写Z3和LFSR这两题的WP，顺便记录一下用到的z3、SageMath求解工具。