$r$th Root Extraction
서론 이번에 CTF 문제를 풀면서 한 가지 특이한 문제를 보게 되었습니다. 문제의 핵심 부분은 다음과 같았습니다. 소수 $p$와 $\gcd(p-1,r)\neq1$...
Posts
2020 회고
대학원 대학원에 들어갔습니다. 좋은 랩에는 들어갔지만 좋은 주제를 찾지 못해서 초반에 많이 방황했었습니다. 다행히도 좋은 랩에 들어간 덕에 교수님과 랩의 여러 사람...
Sudoku and Nonogram with z3
서론 이전에 z3와 Boolector를 비교하는 글을 올린 적이 있습니다. (Link) 그런데 정작 z3에 대해서 글이 잘 없어서, 이번에 z3로 퍼즐을 푸는 글을 작성해보게...
SVP and CVP
서론 이번에 N1CTF에 Super Guesser 팀으로 참전해서 4등을 차지했습니다. (ctftime) 한국의 강력한 crypto hacker rkm0959님과 함께 할 수 있는 좋은 자리였는데요, N1CTF에 나...
포카전/카포전 2020 해킹 문제 출제
서론 올해 정식 명칭은 포카전이기 때문에, 중립성을 위해 포카전/카포전으로 쓰겠습니다. 근 몇 년 간 포카전/카포전 해킹을 LeaveCat이라는 팀에서 출제하...