这几天有个GACTF，随意来看看题目，就佛系做了几个题嘤嘤嘤，顺便来学点东西吧。
2020-08-31
CTF | 2020 CISCN初赛 Z3&LFSR WriteUp
水了一波CISCN线上初赛，这里来写一写Z3和LFSR这两题的WP，顺便记录一下用到的z3、SageMath求解工具。
2020-08-27