Adrian Herrera

@0xadr1an

Systems security researcher with a penchant for functional programming languages. PhD candidate and . S2E developer. Runner.

Canberra, Australia
adrianherrera.github.io
Vrijeme pridruživanja: lipanj 2017.

Medijski sadržaj

  1. 4. velj
    Odgovor korisniku/ci

    It seems I have some catching up to do! Although, to be fair, it's already pretty warm in Australia

    1 korisnik označava da mu se sviđa
  2. 31. sij

    "Parallelizing Binary Code Analysis", Meng et al. Parallelizes Dyninst to improve control/data flow analysis + debug information parsing performance. Uses perf analysis to identify expensive code and applies race detectors to guide synchronization.

    10 proslijeđenih tweetova 35 korisnika označava da im se sviđa
  3. 12. sij
    Odgovor korisniku/ci

    I hope you were the one who's since marked this review as helpful

    16 korisnika označava da im se sviđa
  4. 27. pro 2019.
    Odgovor korisnicima

    We don’t need much. A knife pretty much does it

    2 korisnika označavaju da im se sviđa
  5. 16. pro 2019.
    Odgovor korisniku/ci

    Obligatory GIF

    1 reply 1 korisnik označava da mu se sviđa
  6. 6. pro 2019.

    Forgot I had this photo from Peter O’Hearn’s (great!) talk on “Incorrectness Logic” from the Facebook testing & verification event a few weeks back. I feel personally attacked by that reviewer tho 🧐

    1 reply 10 korisnika označava da im se sviđa
  7. 6. pro 2019.
    Odgovor korisnicima

    😂😂😂

    1 reply 6 korisnika označava da im se sviđa
  8. 2. pro 2019.

    I wrote a small tool to "recreate" AFL's mutation chain from a given seed/crash. It can also produce a graph that shows the relationship between seeds and the mutations that led to the creation of those seeds Hopefully it's useful to peeps

    41 proslijeđeni tweet 125 korisnika označava da im se sviđa
  9. 1. pro 2019.
    Odgovor korisnicima

    Man that looks awesome. And here I am wasting my life with Tikz 😞

    1 reply
  10. 1. pro 2019.

    "Exploits as Insecure Compilation", Jennifer Paykin + more folk, to appear @ PriSC 2020 Generalises 's state machine formalisation of weird machines in terms of PL + secure compilation concepts Weird Machines as Insecure Compilation:

    11 proslijeđenih tweetova 43 korisnika označavaju da im se sviđa
  11. 11. stu 2019.

    "Cubismo: Decloaking Server-side Malware via Cubist Program Analysis" by Naderi-Afooshteh et al., to appear at ACSAC 2019 Analyses & decloaks obfuscated via static analysis + counterfactual execution - Paper: - Code:

    5 proslijeđenih tweetova 13 korisnika označava da im se sviđa
  12. 26. lis 2019.

    "Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation", by Sebastian Poeplau and , to appear at ACSAC 2019 Compares KLEE, S2E, angr, and Qsym

    1 reply 46 proslijeđenih tweetova 128 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  13. 4. lis 2019.

    "Get rid of inline assembly through verification-oriented lifting", Recoules et. al., to be presented at ASE 2019

    1 reply 8 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
  14. 27. ruj 2019.

    My boss told me to take a break and the afternoon off, so I went for a hike in Tidbinbilla. It was a pretty good suggestion – mjesto: Gibraltar Peak

    1 reply 23 korisnika označavaju da im se sviđa
  15. 22. ruj 2019.

    New office buddy

    14 korisnika označava da im se sviđa
  16. 17. ruj 2019.

    "Towards Verified Binary Raising", presented at SpISA 2019. Describes ' reopt tool and the verification of the generated LLVM using SMT-LIB. Next steps are building the verifier in the Lean theorem prover!

    21 proslijeđeni tweet 40 korisnika označava da im se sviđa
  17. 14. ruj 2019.

    “Generating verified LLVM from Isabelle/HOL”, by Peter Lammich Details the design of a refinement framework for generating verified LLVM IR in Isabelle/HOL. Neat!

    8 korisnika označava da im se sviđa
  18. 13. ruj 2019.

    Morning coffee with my new mug 😎 Had a great week doing secure code review with ⁦⁦⁩; highly recommended!

    3 proslijeđena tweeta 17 korisnika označava da im se sviđa
  19. 31. kol 2019.

    And so begins Spring in Australia

    1 reply 1 proslijeđeni tweet 15 korisnika označava da im se sviđa
  20. 23. srp 2019.
    Odgovor korisniku/ci

    Slightly different I think.

    5 korisnika označava da im se sviđa

@0xadr1an još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·