Pinned Tweet
¡Ya tenemos galería compartida de fotos! Sube también las tuyas :) photos.app.goo.gl/9XnAZi5qyW…
SuperSEC retweeted
The great big open-source census: Most-used libraries revealed – plus 10 things developers should be doing to keep … reg.cx/2Yxx
SuperSEC retweeted
Próximamente daré una charla introductoria a TLA+. En unos días todos los detalles. ¡Atentos!
SuperSEC retweeted
Already available, published in @emsejournal: "How bugs are born: a model to identify how bugs are introduced in software components", by @Gerope90, @gregoriorobles, @aserebrenik, @azaidman, Daniel German and myself doi.org/10.1007/s10664-019-0… #openaccess
SuperSEC approves 👍
Did you know that @RustFest and #LinuxAppSummit are both held in Barcelona one right after the other?
I hope you come to both conferences!
barcelona.rustfest.eu
linuxappsummit.org
SuperSEC retweeted
EU-FOSSA Hackathon opening session with Lora Borissova. “I am pleased to say that we are just putting the finishing touches to the latest update of our open source strategy, which will be released later this year.” #EUFOSSA #Opensource #FOSSAHackathons
SuperSEC retweeted
Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel phoronix.com/scan.php?page=n…
SuperSEC retweeted
#tlaplus conf 2019: "Using TLA+ for fun and profit in the development of Elasticsearch" by @ywelsch youtube.com/watch?v=qYDcbcOV… conf.tlapl.us/program/yannic…
/cc @strangeloop_stl
SuperSEC retweeted
Revealed: The 25 most dangerous software bug types – mem corruption, so hot right now reg.cx/2WsM
queda mucho por hacer…
We found no consistency in a vendor or product line doing better or showing improvement. There was no evidence that anybody is making a concerted effort to address the safety hygiene of their products - Sarah Zatko
Evaluating 15 years, 6000 updates securityledger.com/2019/08/h…
SuperSEC retweeted
#tlaplus conf 2019 preview: "Using TLA+ for fun and profit in the development of Elasticsearch" by @ywelsch conf.tlapl.us/program/yannic… #pluscal #Elasticsearch /cc @strangeloop_stl
SuperSEC retweeted
Scaling Static Analyses at Facebook m-cacm.acm.org/magazines/201…
SuperSEC retweeted
¡Mi primera especificación en TLA+! jesusmg.org/tla/2019/07/08/p…
SuperSEC retweeted
so that cloudflare outage was a caused by a single regex rule deployed globally in one go🤦♂️
SuperSEC retweeted
📢Secure a @Hacker0x01 hoodie until 12 July by submitting your first valid bug to any of the live #EUFOSSA programs.
💰Win up to €9,000.
Happy hacking! Submit via:
🔗hackerone.com/midpoint_h1c
🔗hackerone.com/putty_h1c
🔗hackerone.com/filezilla_h1c
hackerone.com/apache_kafka_h…
NIST CYBERSECURITY WHITE PAPER (DRAFT): «Mitigating the Risk of Software Vulnerabilities by Adopting a Secure Software Development Framework (SSDF)» csrc.nist.gov/CSRC/media/Pub…
ZOMG!
Siempre había escuchado quejas de la web de Renfe, y ayer, tras un tweet de @MarkVillacampa, me dio curiosidad por examinar por encima el código Javascript de la web. Lo que verás a continuación te sorprenderá (o no). Abro hilo.


















