1. | | Cracking Diffie–Hellman Key Exchange Using CADO-NFS and Logjam SSL/TLS Attack (yurichev.com) |
| 3 points by dennis714 on March 22, 2022 | past |
|
2. | | I rented a flat with the help of calculus (yurichev.com) |
| 3 points by dennis714 on March 22, 2022 | past |
|
3. | | Bayes Classifier for Your Books (yurichev.com) |
| 5 points by dennis714 on Dec 4, 2021 | past |
|
4. | | Sat/SMT by Example [pdf] (sat-smt.codes) |
| 4 points by dennis714 on March 1, 2021 | past |
|
5. | | Impact of order of files in tar archive on compressed size (yurichev.com) |
| 3 points by dennis714 on Oct 21, 2020 | past |
|
6. | | Set theory explanation via boolean operations (yurichev.com) |
| 1 point by dennis714 on Oct 16, 2020 | past |
|
7. | | Toy package manager under 200 SLOC on top of SAT solver (yurichev.com) |
| 3 points by dennis714 on Sept 1, 2020 | past |
|
8. | | Reverse Engineering for Beginners [pdf] (yurichev.org) |
| 153 points by dennis714 on Aug 9, 2020 | past | 7 comments |
|
9. | | Understanding Assembly Language [pdf] (yurichev.com) |
| 3 points by dennis714 on Aug 9, 2020 | past |
|
10. | | A reverse engineering challenge: an intricate visual pattern in 39 bytes (yurichev.com) |
| 1 point by dennis714 on July 31, 2020 | past |
|
11. | | Finding a conflicting pair of options/features (yurichev.com) |
| 1 point by dennis714 on July 14, 2020 | past |
|
12. | | The most primitive clipboard manager you can ever find (yurichev.com) |
| 1 point by dennis714 on July 3, 2020 | past |
|
13. | | Integer factorization using regex (with backreferences) (yurichev.com) |
| 1 point by dennis714 on June 24, 2020 | past |
|
14. | | Sat solver on top of regex matcher (yurichev.com) |
| 2 points by dennis714 on June 21, 2020 | past |
|
15. | | Sat/SMT by Example [pdf] (yurichev.com) |
| 2 points by dennis714 on May 27, 2020 | past | 1 comment |
|
16. | | Sat/SMT by Example [pdf] (yurichev.com) |
| 2 points by dennis714 on May 25, 2020 | past |
|
17. | | Recovering a plain text using only CRC64 hash (yurichev.com) |
| 2 points by dennis714 on April 16, 2020 | past |
|
18. | | Formal verification of population count functions (yurichev.com) |
| 2 points by dennis714 on April 16, 2020 | past |
|
19. | | Proving equivalence of two functions using CBMC and Z3 SMT-solver (yurichev.com) |
| 2 points by dennis714 on April 10, 2020 | past |
|
20. | | Solving Martin Gardner's chess problem using simulated annealing (yurichev.com) |
| 2 points by dennis714 on Feb 24, 2020 | past |
|
21. | | What Is Derivative? (yurichev.com) |
| 2 points by dennis714 on Dec 15, 2019 | past |
|
22. | | Hexdump and Binary Logarithm (yurichev.com) |
| 1 point by dennis714 on Dec 12, 2019 | past |
|
23. | | What MSVC's version has been used to compile Windows 10? (yurichev.com) |
| 2 points by dennis714 on Dec 8, 2019 | past |
|
24. | | Simplest possible snapshot-style backups using rsync (yurichev.com) |
| 3 points by dennis714 on Dec 4, 2019 | past |
|
25. | | Reverse Engineering for Beginners [pdf] (beginners.re) |
| 451 points by dennis714 on Nov 26, 2019 | past | 49 comments |
|
26. | | Yet another explanation of the Quicksort algorithm (yurichev.com) |
| 18 points by dennis714 on Nov 23, 2019 | past | 2 comments |
|
27. | | Reverse Engineering for Beginners (beginners.re) |
| 3 points by dennis714 on Nov 20, 2019 | past |
|
28. | | A Nasty Bug in Msvcrt.dll (yurichev.com) |
| 1 point by dennis714 on Nov 18, 2019 | past | 3 comments |
|
29. | | Cracking simple XOR cipher with simulated annealing (yurichev.com) |
| 2 points by dennis714 on Sept 4, 2019 | past |
|
30. | | Sat solver in Python (~175 SLOC) with watch lists (yurichev.com) |
| 2 points by dennis714 on Sept 4, 2019 | past |
|
|
| More |