Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @feliam
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @feliam
-
Felipe Manzano proslijedio/la je Tweet
Why can't a symbolic executor achieve 100% coverage in a teensy little smart contract?https://forum.openzeppelin.com/t/symbolic-execution/2158/3 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano 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 : https://www.eventbrite.com.ar/e/ctf-en-cordoba-hacker-space-tickets-82956305543 …
Éxitos
!
Y que gane el mejor hacker
!pic.twitter.com/8cC4axlLk1Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Lovely presentation on Manticore, a symbolic executor by for binary and ethereum byte code, by
@Eric_Hennenfent today at@ASEconf2019#ASE2019. Watch out for new improvements in Manticore for symbolic execution of Ethereum byte code!! Great to see my@trailofbits colleague againpic.twitter.com/T7P5K0Vpl6
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Announcing the Crytic $10k Research Prizehttp://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
HEY! - Symbolic execution rick! - Checkout this manticoreEVM release. It can handle sha3 in number of new interesting ways. Concretize, fakehash, and something else ...https://github.com/trailofbits/manticore/releases/tag/0.3.2 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Two new tools that Carson Harmon,
@bradlarsen, 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.https://twitter.com/trailofbits/status/1190222046120366081 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Amazing community response at the very first
@cbahackerspace event!pic.twitter.com/GiAuVhWhGd
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
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 @https://sean.heelan.io/2019/10/30/gollum-modular-and-greybox-exploit-generation-for-heap-overflows-in-interpreters/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Discover VeriMan, a prototype developed by
@Vera_B_E to verify temporal properties using tools like VeriSol, Manticore and Mythrilhttps://forum.openzeppelin.com/t/veriman-a-prototype/1446 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Lunes que viene, la genia de
@Vera_B_E junto con el grande de@diegogUBA van a estar presentando en@ComputacionUBA el trabajo que hicieron con@OpenZeppelin este año: integración de analysis tools para asistir en auditorías de smart contracts. https://lafhis.dc.uba.ar/node/252Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
STOP
CHANGING
THE
INSTRUCTION
SEMANTICS !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! #ethereumHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
How do you deal with hash-functions during symbolic execution? Run the program, execute the hash function concretely (not sumbolically).
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano 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 - https://www.reddit.com/r/netsec/comments/9l3lod/rnetsecs_q4_2018_information_security_hiring/eaahmzo/ …pic.twitter.com/Yu4yNV22Jo
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
LAGARTOOO ESTA EL LAGAAR AHII!https://twitter.com/ekoparty/status/1168505083153309696 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Felipe Manzano proslijedio/la je Tweet
Say hi to
@Vera_B_E
She is doing research at Zeppelin about automated bug finding tools, and she wrote about her experience trying to catch the @MakerDAO voting vulnerability
https://forum.zeppelin.solutions/t/using-automatic-analysis-tools-with-makerdao-contracts/1021 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Happy to announce that our VerX research paper has been accepted at
@IEEESSP 2020, joint work by@chain_security and@the_sri_lab! Read the full paper at https://www.sri.inf.ethz.ch/publications/permenev20verx …, and check out our online demo at https://verx.ch .pic.twitter.com/dtilN2mVn8
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Felipe Manzano proslijedio/la je Tweet
Are you a Python programmer or a security analyst working with
#Python code? Learn how to write QL to find entire classes of bugs in this tutorial:https://hubs.ly/H0jJ1jc0Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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``
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nice tool to "grep" code injections in the running processes https://github.com/marcosd4h/memhunter … .. with a bonus tool to inject code in 15 different ways
. #bsidescordobaHvala. 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.
¡PRE CTF ABIERTO! Gracias
¡Hay 5 entradas
