SuperSEC

Congreso nacional sobre desarrollo seguro de software

[SuperSEC @SuperSEC_ES]

¡Ya tenemos galería compartida de fotos! Sube también las tuyas :) https://t.co/XQ0eZKozv8

[Jesús @_jesusmg]

¡No os perdáis mi charla de TLA+ en @MadridDevops! https://t.co/fuvqxEgjMk

@SuperSEC_ES

[The Register @TheRegister]

The great big open-source census: Most-used libraries revealed – plus 10 things developers should be doing to keep … https://t.co/eMJd9NIR3o

[Jesús @_jesusmg]

Próximamente daré una charla introductoria a TLA+. En unos días todos los detalles. ¡Atentos!

[Jesus M Gonzalez-Barahona @jgbarah]

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 https://t.co/LH0GORYCiX #openaccess

[SuperSEC @SuperSEC_ES]

SuperSEC approves 👍

[Jorge @JorgeEscriu]

@zeenix @RustFest Did you know that @RustFest and #LinuxAppSummit are both held in Barcelona one right after the other?

I hope you come to both conferences!

https://t.co/ysMAGUdPKw
https://t.co/Btd89iMSLM

[SuperSEC @SuperSEC_ES]

o_0

[DIGIT 🇪🇺 @EU_DIGIT]

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

[Hacker News Bot @newsycombinator]

Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel https://t.co/CLyi1nCrkp

[@[email protected] @lemmster]

#tlaplus conf 2019: "Using TLA+ for fun and profit in the development of Elasticsearch" by @ywelsch https://t.co/Who9MlRbdP https://t.co/exnt6qy6eb
/cc @strangeloop_stl

[The Register @TheRegister]

Revealed: The 25 most dangerous software bug types – mem corruption, so hot right now https://t.co/8OwgP8Xsjf

[SuperSEC @SuperSEC_ES]

queda mucho por hacer…

[Mudge @dotMudge]

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 https://t.co/xDOJ3IcQXP

[TLA+ & PlusCal @tlaplus]

#tlaplus conf 2019 preview: "Using TLA+ for fun and profit in the development of Elasticsearch" by @ywelsch https://t.co/21a9dLRlIL #pluscal #Elasticsearch /cc @strangeloop_stl

[SuperSEC @SuperSEC_ES]

Estamos pensando en pasar lista y asegurarnos que vais todos.

[TLA+ & PlusCal @tlaplus]

The program of #tlaplus conf has been published: https://t.co/QhvDdSrG5c #pluscal

[Hacker News Bot @newsycombinator]

Scaling Static Analyses at Facebook https://t.co/Sd1aUlr4Ln

[Jesús @_jesusmg]

¡Mi primera especificación en TLA+! https://t.co/2xLS1B0fl5

[mjos\dwez @mjos_crypto]

so that cloudflare outage was a caused by a single regex rule deployed globally in one go🤦‍♂️

[DIGIT 🇪🇺 @EU_DIGIT]

📢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:
🔗https://t.co/F4hvXuPj8n
🔗https://t.co/LVeVb1zKxX
🔗https://t.co/uG3iB8aTXJ
https://t.co/3xHzpxt23c

[SuperSEC @SuperSEC_ES]

NIST CYBERSECURITY WHITE PAPER (DRAFT): «Mitigating the Risk of Software Vulnerabilities by Adopting a Secure Software Development Framework (SSDF)» https://t.co/hro6gWuIBm

[SuperSEC @SuperSEC_ES]

ZOMG!

[Manz 🇮🇨⚡👾 @Manz]

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.

[Command Line Magic @climagic]

If you cat /dev/urandom forever it eventually outputs a secure version of wordpress.