Robin David

@RobinDavid1

Software Security Researcher at

Paris, France
robindavid.fr
Vrijeme pridruživanja: travanj 2011.
2 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @RobinDavid1

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @RobinDavid1

  1. 17. sij

    Very nice tutorial on software verification with Frama-C! It might have been a huge work to write, congrats 😉

    A new version of my tutorial is available. It mainly follows some changes in Frama-C Calcium but also includes a few minor fixes. Note that the French version is back. EN: FR:
    1 reply 4 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    9. pro 2019.

    Efficient Sampling of SAT and SMT Solutions for Testing and Verification a whole PhD thesis about this topic!

    21 proslijeđeni tweet 78 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    27. lis 2019.
    Odgovor korisnicima

    This is a great comparison of major disassemblers and their export options. IDA and Ghidra are in a league of their own. The Ghidra output of XML preserves anything editable, the binary bytes are out of band. You could also protobuf2json BinExport output

    1 reply 9 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    24. lis 2019.

    [BLOG] Analysis of Qualcomm Secure Boot Chains Nice work by Elouan during his internship: congrats :)

    1 reply 73 proslijeđena tweeta 150 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    3. lis 2019.

    [BLOG] Exploring Execution Trace Analysis: digging into automation for trace collection and off-line dynamic trace analysis by Luigi ()

    58 proslijeđenih tweetova 118 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    24. ruj 2019.

    [BLOG] An Experimental Study of Different Binary Exporters

    52 proslijeđena tweeta 71 korisnik označava da mu se sviđa
    Poništi
  7. 13. ruj 2019.

    Fun visual example of quadratic complexity. It looks like IDA function disassembly can be quadratic in worst case. (btw disassembly never ends)

    3 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    10. ruj 2019.

    If a SAT problem solves in 10s then another, of similar size doesn't solve, remember: there are SAT encodings of AES out there with < 500 variables that thousands of people have been trying to solve for decades. So, it doesn't solve? Investigate. Still doesn't solve? Maybe AES.

    5 proslijeđenih tweetova 38 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    10. ruj 2019.

    [BLOG+TOOL] QBDI 0.7.0 Add X86, android-X86, android-X86_64 and a use case on Tencent Packer.

    42 proslijeđena tweeta 57 korisnika označava da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    23. kol 2019.

    After ARM, it looks like QBDI is instrumenting its first piece of AArch64 code \o/

    15 proslijeđenih tweetova 53 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    20. kol 2019.

    A time lapse of the night sky with a twist. The milky way is fixed, while the earth rotates.

    476 replies 16.672 proslijeđena tweeta 56.982 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    16. kol 2019.

    Example of IDA+Triton plugin in order to extract opaque predicates where their computation is local to a single basic block using a Forward-Bounded DSE.

    35 proslijeđenih tweetova 74 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    30. tra 2019.

    Triste nouvelle -

    6 replies 35 proslijeđenih tweetova 61 korisnik označava da mu se sviđa
    Poništi
  14. proslijedio/la je Tweet
    18. tra 2019.

    LIEF is truly an amazing project. I can only strongly recommend anybody to give it a try. I learned so much while working on it. Thank you for your help and your dedication to create a top quality library for something that has always been underestimated

    Thanks to , LIEF now supports ELF coredump! Here is an introduction to the API: Commit: cc
    1 reply 10 proslijeđenih tweetova 35 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    13. tra 2019.

    Trying to bury a vuln under a NDA whereas it is freely reported, then pushing a silent fix in the Linux kernel is not a good way to deal with security. Timeline for this one is gonna be epic.

    1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    12. tra 2019.

    Nice commit in Broadcom wireless driver, no CVE. Dont worry, it is only a heap overflow leading to remote code exec in the Linux kernel but exploitable in very narrow conditions: Target needs to have Wake on Wireless LAN enabled (who does that?)

    1 reply 108 proslijeđenih tweetova 199 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    4. tra 2019.

    Here's a letter I recently wrote.

    59 replies 291 proslijeđeni tweet 1.203 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    1. tra 2019.

    [JOB] Vous en avez marre du challenge ou des escape games. Passez au défi suivant, grandeur nature, c'est par ici, on vous attend :

    1 reply 10 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  19. 28. ožu 2019.

    Very nice and interesting talk of about the and ecosystem at LIX. Will the slides going to be available somewhere ? Thanks!

    1 reply 2 korisnika označavaju da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    7. ožu 2019.

    We need a new syscall. brexit() where your C programme exits but doesn’t, is very confused and blames the scheduler demanding more CPU slots than cores plus memory protection but wide open IPC.

    70 replies 2.456 proslijeđenih tweetova 5.612 korisnika označava da im se sviđa
    Poništi

@RobinDavid1 još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·