Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @0xadr1an
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @0xadr1an
-
Prikvačeni tweet
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
#fuzzing peeps https://github.com/adrianherrera/afl-mutation-chain …pic.twitter.com/gLIk0oG6wg
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is a really great post! I don’t really consider myself a PL person (and had never heard of POPLmark), but I’ll definitely be checking out the panel videohttps://twitter.com/TaliaRinger/status/1223782253064421376 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"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. https://arxiv.org/abs/2001.10621 pic.twitter.com/uCQiiyJbOP
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
Check out the RLCheck preprint! Cool idea to try and use reinforcement learning to tune generators to generate more valid (assumption-satisfying) inputs. With
@SameerReddy0@moarbugs@koushik77 https://www.carolemieux.com/rlcheck_preprint.pdf …pic.twitter.com/zm6THQXS6x
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
Automatic ROP chain generation using ROPgadget (gadgets finding) and Triton (sym. exec. part) by
@n0psledbyte https://github.com/d4em0n/exrop !!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
A new version of my
@frama_c 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: https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf … FR: https://allan-blanchard.fr/publis/frama-c-wp-tutoriel-fr.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
My favorite articles are the ones that walks you through the author methodology and strategy to find/exploit bugs. This is the case for
@mmolgtm last post on Chrome IPC vulnerabilities:https://securitylab.github.com/research/chromium-ipc-vulnerabilities …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
MS’ Project Verona, an experiment on concurrent ownership in a PLhttps://twitter.com/ParkyMatthew/status/1217901942443270147 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
"AFLNet: A Greybox Fuzzer for Network Protocols", my joint work with
@mboehme_ & Abhik, is accepted as a testing tool paper@icstconference. It was motivated by many requests from AFL users for#stateful#greybox#fuzzing. Stay tuned for preprint & tool (with funder's approval).pic.twitter.com/oZqAmewD2G
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
new blog post: Testing Dataflow Analyses for Precision and Soundness https://blog.regehr.org/archives/1709 summarizes a new paper lead by
@jubitanejaHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
NDSS is pleased to announce the preliminary list of accepted papers for NDSS 2020. https://www.ndss-symposium.org/ndss2020/accepted-papers/ …. Join us 23-26 February in sunny San Diego for all the details. https://www.ndss-symposium.org
#ndss20#ndss2020Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
Observing and sequencing Intel load port traffic! Wrote up this blog over the holidays! Happy New Year!https://gamozolabs.github.io/metrology/2019/12/30/load-port-monitor.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
“An Observational Investigation of Reverse Engineers’ Processes”, to appear at Usenix Security 2020https://twitter.com/krismicinski/status/1210379898440835073 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
New post: Programming and Interactive Proving With Z3Py http://www.philipzucker.com/programming-and-interactive-proving-with-z3py/ …
#z3Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
For their semester project, Kent Ma (
@tnek_) and Leon Chou (@pa_s_sion) of the@osirislab put together some enhancements to the Ghidra decompiler to give it better Go support! Two posts: first, a dive into what Go looks like at the binary level:https://blog.osiris.cyber.nyu.edu/2019/12/19/go-deepdive/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
This semester I taught a course on programming language semantics and abstract interpretation. All of the slides are freely available in PDF and Keynote here: https://github.com/kmicinski/program-analysis/tree/master/assets/slides …. I really loved presenting this, and am thankful for the students who worked so hard to learn it
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
"Memory safety issues remain dominant ... Spatial safety remains the most common vulnerability category (heap out-of-bounds read/write)" https://msrnd-cdn-stor.azureedge.net/bluehat/bluehatil/2019/assets/doc/Trends%2C%20Challenges%2C%20and%20Strategic%20Shifts%20in%20the%20Software%20Vulnerability%20Mitigation%20Landscape.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
New paper "Inferring Input Grammars from Dynamic Control Flow". Given a program, our Mimid prototype automatically infers a human-readable context-free grammar that accurately specifies its input syntax. Great helper for fuzzing and program understanding! https://arxiv.org/abs/1912.05937
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
If you're interested in getting started with PANDA for debugging and reverse engineering, Tim Leek put together a short introductory course!https://github.com/panda-re/panda_class …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Adrian Herrera proslijedio/la je Tweet
Datalog + SMT for Static Analysis https://cs.pomona.edu/~michael/papers/formulog_sub2020.pdf …pic.twitter.com/HcAamONh2L
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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
pic.twitter.com/qFALsofSUw
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.