Misc

Finally, I copied my posts from the Samsung Software Membership blog. Those are not translated yet. I hope I can finish the translation someday. 😢😢😢 Digital Signatures and Nonce Reuse Shellcoding and Bitflip Conjecture Smooth numbers and Factorization On Factoring Given Any Bits Forgery Attack on ElGamal Signatures How to build WebAssembly apps with Rust AntiVirus Oracle Singular Elliptic Curves Anomalous Elliptic Curves SMT Solvers in CTF -...

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

서론 SMT (Satisfiability modulo theories) Solver는 CTF에서 빠질 수 없는 존재입니다. SMT Solver가 무엇인지 구체적으로 설명하기 보다는, 다음 z3py 예시를 보는 것이 더 직관적일 것...

서론 CONFidence CTF 2020 Teaser라는 대회에서 Angry Defender라는 문제가 나왔습니다. 해당 문제는 Windows Defender의 특성을 이용해서 문제의 답에 해당하는 Fl...

서론 작년에 마작에서 현재 들고 있는 패의 점수 기대치를 계산하는 웹 사이트를 제작을 하려고 하고 있었는데, 다음과 같은 문제에 부딪혔습니다. 가능하면 클라이언트 사...