HNHacker News
TopNewBestAskShowJobs

dennis714

775 karma · joined June 2, 2011

submissionscomments

Cracking Diffie–Hellman Key Exchange Using CADO-NFS and Logjam SSL/TLS Attack

yurichev.com·3 pts·dennis714·
0

I rented a flat with the help of calculus

yurichev.com·3 pts·dennis714·
0

Bayes Classifier for Your Books

yurichev.com·5 pts·dennis714·
0

Sat/SMT by Example [pdf]

sat-smt.codes·4 pts·dennis714·
0

Impact of order of files in tar archive on compressed size

yurichev.com·3 pts·dennis714·
0

Set theory explanation via boolean operations

yurichev.com·1 pts·dennis714·
0

Toy package manager under 200 SLOC on top of SAT solver

yurichev.com·3 pts·dennis714·
0

Reverse Engineering for Beginners [pdf]

yurichev.org·153 pts·dennis714·
7

Understanding Assembly Language [pdf]

yurichev.com·3 pts·dennis714·
0

A reverse engineering challenge: an intricate visual pattern in 39 bytes

yurichev.com·1 pts·dennis714·
0

Finding a conflicting pair of options/features

yurichev.com·1 pts·dennis714·
0

The most primitive clipboard manager you can ever find

yurichev.com·1 pts·dennis714·
0

Integer factorization using regex (with backreferences)

yurichev.com·1 pts·dennis714·
0

Sat solver on top of regex matcher

yurichev.com·2 pts·dennis714·
0

Sat/SMT by Example [pdf]

yurichev.com·2 pts·dennis714·
1

Sat/SMT by Example [pdf]

yurichev.com·2 pts·dennis714·
0

Recovering a plain text using only CRC64 hash

yurichev.com·2 pts·dennis714·
0

Formal verification of population count functions

yurichev.com·2 pts·dennis714·
0

Proving equivalence of two functions using CBMC and Z3 SMT-solver

yurichev.com·2 pts·dennis714·
0

Solving Martin Gardner's chess problem using simulated annealing

yurichev.com·2 pts·dennis714·
0

What Is Derivative?

yurichev.com·2 pts·dennis714·
0

Hexdump and Binary Logarithm

yurichev.com·1 pts·dennis714·
0

What MSVC's version has been used to compile Windows 10?

yurichev.com·2 pts·dennis714·
0

Simplest possible snapshot-style backups using rsync

yurichev.com·3 pts·dennis714·
0

Reverse Engineering for Beginners [pdf]

beginners.re·451 pts·dennis714·
49

Yet another explanation of the Quicksort algorithm

yurichev.com·18 pts·dennis714·
2

Reverse Engineering for Beginners

beginners.re·3 pts·dennis714·
0

A Nasty Bug in Msvcrt.dll

yurichev.com·1 pts·dennis714·
3

Cracking simple XOR cipher with simulated annealing

yurichev.com·2 pts·dennis714·
0

Sat solver in Python (~175 SLOC) with watch lists

yurichev.com·2 pts·dennis714·
0
Page 1 of 2Next →