Gröbner basis

서론 최근 다변수 Coppersmith Method와 관련해 살펴보면서 Gröbner basis, 한국어로는 그뢰브너 기저에 대해서 접하게 되었습니다. 다변수 Coppersmith Method의 과정을 간...

2021-02-20 · 9 min · RBTree

$r$th Root Extraction

서론 이번에 CTF 문제를 풀면서 한 가지 특이한 문제를 보게 되었습니다. 문제의 핵심 부분은 다음과 같았습니다. 소수 $p$와 $\gcd(p-1,r)\neq1$...

2021-01-22 · 5 min · RBTree

2020 회고

대학원 대학원에 들어갔습니다. 좋은 랩에는 들어갔지만 좋은 주제를 찾지 못해서 초반에 많이 방황했었습니다. 다행히도 좋은 랩에 들어간 덕에 교수님과 랩의 여러 사람...

2020-12-29 · 3 min · RBTree

Sudoku and Nonogram with z3

서론 이전에 z3와 Boolector를 비교하는 글을 올린 적이 있습니다. (Link) 그런데 정작 z3에 대해서 글이 잘 없어서, 이번에 z3로 퍼즐을 푸는 글을 작성해보게...

2020-11-22 · 4 min · RBTree

SVP and CVP

서론 이번에 N1CTF에 Super Guesser 팀으로 참전해서 4등을 차지했습니다. (ctftime) 한국의 강력한 crypto hacker rkm0959님과 함께 할 수 있는 좋은 자리였는데요, N1CTF에 나...

2020-10-23 · 6 min · RBTree