dennis714

5 ms·

1. 1.▲
   Cracking Diffie–Hellman Key Exchange Using CADO-NFS and Logjam SSL/TLS Attack(yurichev.com)

   3 points by dennis714 4y ago|0 comments
2. 2.▲
   I rented a flat with the help of calculus(yurichev.com)

   3 points by dennis714 4y ago|0 comments
3. 3.▲
   Bayes Classifier for Your Books(yurichev.com)

   5 points by dennis714 5y ago|0 comments
4. 4.▲
   by dennis714 5y ago

   Eat this: https://web.cecs.pdx.edu/%7Eharry/Relay/
5. 5.▲
   by dennis714 5y ago

   https://sat-smt.codes/SAT_SMT_by_example.pdf
6. 6.▲
   by dennis714 5y ago

   See also: http://homebrewcpu.com/
7. 7.▲
   by dennis714 5y ago

   The website with problems in reverse engineering: https://challenges.re/ Created in similar vein as PE.
8. 8.▲
   by dennis714 5y ago

   Shameless plug about IEEE 754 round-off errors: https://yurichev.com/news/20210131_IEEE_754/
9. 9.▲
   Sat/SMT by Example [pdf](sat-smt.codes)

   4 points by dennis714 6y ago|0 comments
10. 10.▲
    by dennis714 6y ago

    Second and third parts: https://yurichev.com/news/20210121_Knuth_Morris_Pratt_2/ https://yurichev.com/news/20210121_Knuth_Morris_Pratt_3/
11. 11.▲
    Impact of order of files in tar archive on compressed size(yurichev.com)

    3 points by dennis714 6y ago|0 comments
12. 12.▲
    Set theory explanation via boolean operations(yurichev.com)

    1 points by dennis714 6y ago|0 comments
13. 13.▲
    Toy package manager under 200 SLOC on top of SAT solver(yurichev.com)

    3 points by dennis714 6y ago|0 comments
14. 14.▲
    Reverse Engineering for Beginners [pdf](yurichev.org)

    153 points by dennis714 6y ago|7 comments
15. 15.▲
    Understanding Assembly Language [pdf](yurichev.com)

    3 points by dennis714 6y ago|0 comments
16. 16.▲
    A reverse engineering challenge: an intricate visual pattern in 39 bytes(yurichev.com)

    1 points by dennis714 6y ago|0 comments
17. 17.▲
    Finding a conflicting pair of options/features(yurichev.com)

    1 points by dennis714 6y ago|0 comments
18. 18.▲
    The most primitive clipboard manager you can ever find(yurichev.com)

    1 points by dennis714 6y ago|0 comments
19. 19.▲
    Integer factorization using regex (with backreferences)(yurichev.com)

    1 points by dennis714 6y ago|0 comments
20. 20.▲
    Sat solver on top of regex matcher(yurichev.com)

    2 points by dennis714 6y ago|0 comments
21. 21.▲
    Sat/SMT by Example [pdf](yurichev.com)

    2 points by dennis714 6y ago|1 comments
22. 22.▲
    Sat/SMT by Example [pdf](yurichev.com)

    2 points by dennis714 6y ago|0 comments
23. 23.▲
    Recovering a plain text using only CRC64 hash(yurichev.com)

    2 points by dennis714 6y ago|0 comments
24. 24.▲
    Formal verification of population count functions(yurichev.com)

    2 points by dennis714 6y ago|0 comments
25. 25.▲
    Proving equivalence of two functions using CBMC and Z3 SMT-solver(yurichev.com)

    2 points by dennis714 6y ago|0 comments
26. 26.▲
    Solving Martin Gardner's chess problem using simulated annealing(yurichev.com)

    2 points by dennis714 7y ago|0 comments
27. 27.▲
    What Is Derivative?(yurichev.com)

    2 points by dennis714 7y ago|0 comments
28. 28.▲
    Hexdump and Binary Logarithm(yurichev.com)

    1 points by dennis714 7y ago|0 comments
29. 29.▲
    What MSVC's version has been used to compile Windows 10?(yurichev.com)

    2 points by dennis714 7y ago|0 comments
30. 30.▲
    Simplest possible snapshot-style backups using rsync(yurichev.com)

    3 points by dennis714 7y ago|0 comments