SuperSEC (@SuperSEC_ES) profile picture

Congreso nacional sobre desarrollo seguro de software

Almería, Spain
Joined September 2017
Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)Photo by SuperSEC (@SuperSEC_ES)
¡Ya tenemos galería compartida de fotos! Sube también las tuyas :) photos.app.goo.gl/9XnAZi5qyW…
1
6
1
11
SuperSEC retweeted
¡No os perdáis mi charla de TLA+ en @MadridDevops! meetup.com/es-ES/madrid-devo… @SuperSEC_ES
6
2
The great big open-source census: Most-used libraries revealed – plus 10 things developers should be doing to keep … reg.cx/2Yxx
3
5
SuperSEC retweeted
Próximamente daré una charla introductoria a TLA+. En unos días todos los detalles. ¡Atentos!
2
3
5
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
2
13
19
o_0
This Post is from an account that no longer exists. Learn more
1
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
#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
1
11
21
Revealed: The 25 most dangerous software bug types – mem corruption, so hot right now reg.cx/2WsM
1
9
13
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…
#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
7
16
Estamos pensando en pasar lista y asegurarnos que vais todos.
1
Scaling Static Analyses at Facebook m-cacm.acm.org/magazines/201…
4
9
SuperSEC retweeted
¡Mi primera especificación en TLA+! jesusmg.org/tla/2019/07/08/p…
2
2
so that cloudflare outage was a caused by a single regex rule deployed globally in one go🤦‍♂️
48
734
278
1,727
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…
2
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.
If you cat /dev/urandom forever it eventually outputs a secure version of wordpress.
13
238
17
916