| | SAT/SMT by example [pdf] (yurichev.com) |
|
6 points by tosh 1 day ago | past | web | discuss |
|
| | Assembly Language for Beginners [pdf] (yurichev.com) |
|
672 points by dennis714 32 days ago | past | web | 94 comments |
|
| | Register allocation using graph coloring (yurichev.com) |
|
2 points by ingve 37 days ago | past | web |
|
| | SAT/SMT by example [pdf] (yurichev.com) |
|
2 points by dennis714 68 days ago | past | web |
|
| | Can rand() generate 10 consecutive zeroes? (yurichev.com) |
|
2 points by ingve 8 months ago | past | web |
|
| | Getting CRC polynomial and other CRC generator parameters using Z3 (yurichev.com) |
|
2 points by dennis714 9 months ago | past | web |
|
| | Yet another explanation of CRC (Cyclic redundancy check) (yurichev.com) |
|
3 points by dennis714 9 months ago | past | web |
|
| | Rubik’s cube (3*3*3) and Z3 SMT-solver, part II (yurichev.com) |
|
2 points by dennis714 11 months ago | past | web |
|
| | Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver (yurichev.com) |
|
75 points by dennis714 11 months ago | past | web | 17 comments |
|
| | Simplest SAT solver in ~120 lines (yurichev.com) |
|
3 points by dennis714 on June 26, 2017 | past | web |
|
| | Minimizing test set using Z3 (yurichev.com) |
|
2 points by iou on June 2, 2017 | past | web |
|
| | Quick introduction into SAT/SMT solvers and symbolic execution [pdf] (yurichev.com) |
|
5 points by dennis714 on May 11, 2017 | past | web |
|
| | How to Find a Russian Hacker Anywhere (yurichev.com) |
|
1 point by kushti on Mar 27, 2017 | past | web |
|
| | Cracking Minesweeper with Z3 SMT Solver (yurichev.com) |
|
177 points by iou on Mar 5, 2017 | past | web | 57 comments |
|
| | Cracking simple LCG PRNG (yurichev.com) |
|
1 point by ingve on Mar 2, 2017 | past | web |
|
| | Symbolic execution (yurichev.com) |
|
4 points by ingve on Feb 9, 2017 | past | web |
|
| | Toy decompiler for x86-64 written in Python [pdf] (yurichev.com) |
|
135 points by nhamausi on Dec 10, 2016 | past | web | 10 comments |
|
| | Toy decompiler for x86-64 written in Python [pdf] (yurichev.com) |
|
4 points by ingve on Dec 5, 2016 | past | web |
|
| | Another loop optimization (yurichev.com) |
|
1 point by ingve on July 10, 2016 | past | web |
|
| | C/C++ pointers: null pointers (yurichev.com) |
|
3 points by ingve on June 13, 2016 | past | web |
|
| | C/C++ pointers: pointers abuse in Windows kernel (yurichev.com) |
|
13 points by DiabloD3 on June 2, 2016 | past | web | 2 comments |
|
| | C/C++ pointers: yet another abuse (yurichev.com) |
|
3 points by ingve on May 23, 2016 | past | web |
|
| | Quick introduction to SAT/SMT solvers and symbolic execution [pdf] (yurichev.com) |
|
51 points by jaybosamiya on Feb 28, 2016 | past | web | 11 comments |
|
| | Content-addressable storage: where object placement is defined by its contents (yurichev.com) |
|
19 points by nkurz on Oct 15, 2015 | past | web | 3 comments |
|
| | Encrypted database case #1 (yurichev.com) |
|
143 points by kushti on Aug 27, 2015 | past | web | 12 comments |
|
| | Fuzzy string matching and simplest possible spellchecking and hunting for typos (yurichev.com) |
|
2 points by ScottWRobinson on July 25, 2015 | past | web |
|
| | How RSA works (yurichev.com) |
|
5 points by omnibrain on July 9, 2015 | past | web |
|
| | Modular arithmetic, division by multiplication, cracking LCG (PRNG) with Z3 (yurichev.com) |
|
13 points by p4bl0 on June 14, 2015 | past | web |
|
| | Analyzing unknown binary files using information entropy (yurichev.com) |
|
32 points by egorst on May 14, 2015 | past | web | 4 comments |
|
| | Using Z3 theorem prover to prove equivalence of some bizarre alternative to XOR (yurichev.com) |
|
12 points by eatitraw on Apr 20, 2015 | past | web | 2 comments |
|
|
| More |
