Tweetovi

Blokirali ste korisnika/cu @feliam

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

  1. proslijedio/la je Tweet
    31. sij

    Why can't a symbolic executor achieve 100% coverage in a teensy little smart contract?

    Poništi
  2. proslijedio/la je Tweet

    30 de noviembre 🔥🔥 "Capture the Flag " 🏳️🏴 en HackerSpace Córdoba de la mano de Fundación Sadosky, premios, desafios. Sumate y participa inscribiendote a este link : Éxitos💥! Y que gane el mejor hacker🕵️‍♀️🕵️‍♂️!

    Poništi
  3. proslijedio/la je Tweet
    13. stu 2019.

    Lovely presentation on Manticore, a symbolic executor by for binary and ethereum byte code, by today at . Watch out for new improvements in Manticore for symbolic execution of Ethereum byte code!! Great to see my colleague again

    Poništi
  4. proslijedio/la je Tweet
    13. stu 2019.
    Poništi
  5. 12. stu 2019.

    HEY! - Symbolic execution rick! - Checkout this manticoreEVM release. It can handle sha3 in number of new interesting ways. Concretize, fakehash, and something else ...

    Poništi
  6. proslijedio/la je Tweet
    1. stu 2019.

    Two new tools that Carson Harmon, , and I developed over the past few months. PolyFile is a forensic tool for semantic labeling of and interactive investigation into funky files like polyglots. PolyTracker can instrument a binary for efficient universal taint tracking.

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    31. lis 2019.

    Amazing community response at the very first event!

    Poništi
  8. proslijedio/la je Tweet
    30. lis 2019.

    At CCS '19 next month I'll be presenting a paper titled "Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters". More details @

    Poništi
  9. proslijedio/la je Tweet
    7. lis 2019.

    Discover VeriMan, a prototype developed by to verify temporal properties using tools like VeriSol, Manticore and Mythril

    Poništi
  10. proslijedio/la je Tweet
    18. lis 2019.

    Lunes que viene, la genia de junto con el grande de van a estar presentando en el trabajo que hicieron con este año: integración de analysis tools para asistir en auditorías de smart contracts.

    Poništi
  11. 3. lis 2019.

    STOP 👏 CHANGING 👏 THE 👏 INSTRUCTION 👏 SEMANTICS !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

    Poništi
  12. proslijedio/la je Tweet
    24. ruj 2019.

    How do you deal with hash-functions during symbolic execution? Run the program, execute the hash function concretely (not sumbolically).

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet

    Blaze is hiring! We are looking for one junior security consultant, with keen interest in penetration testing & application security, to be based in our offices in Porto, Portugal. Send your CV to careers@blazeinfosec.com -

    Poništi
  14. 2. ruj 2019.
    Poništi
  15. proslijedio/la je Tweet
    30. kol 2019.

    Ya iniciamos! con la keynote! 🙌

    Poništi
  16. proslijedio/la je Tweet
    11. srp 2019.

    Say hi to ✨ She is doing research at Zeppelin about automated bug finding tools, and she wrote about her experience trying to catch the voting vulnerability 🚀

    Poništi
  17. proslijedio/la je Tweet
    9. srp 2019.

    Happy to announce that our VerX research paper has been accepted at 2020, joint work by and ! Read the full paper at , and check out our online demo at .

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    9. srp 2019.

    Are you a Python programmer or a security analyst working with code? Learn how to write QL to find entire classes of bugs in this tutorial:

    Poništi
  19. 17. lip 2019.

    What is EXTCODESIZE of the precompiled contracts ? Are those "contracts"? Looks like unespecified behaivor: ``Even callable precompiled contracts can have an empty account state. This is because their account states do not _usually_ contain the code describing its behaivor``

    Poništi
  20. 11. lip 2019.

    Nice tool to "grep" code injections in the running processes .. with a bonus tool to inject code in 15 different ways 😮.

    Poništi

Č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:

    ·