Blog
-
Primeras impresiones con Rust
Hace tiempo venía escuchando maravillas sobre Rust, un nuevo lenguaje de bajo nivel enfocado no solo en el rendimiento, sino también en hacer software confiable. Fue esto último lo que despertó mi interés, ya que no me entraba en la cabeza como Rust podría dar lugar a aplicaciones más fiables que los lenguajes de más alto nivel, evitando problemas habituales como desbordamientos de pila, punteros nulos….
-
Flatpakeando el TLA+ Toolbox
En las últimas entradas he hablado sobre el lenguaje (o mejor dicho, la pila de herramientas) de verificación formal TLA+. Se trata de una tecnología que, si bien aún no ha sido ampliamente adoptada, merece la pena apostar por ella dados sus grandes beneficios.
-
Mi primera especificación en TLA+
TLA+ es un lenguaje de especificación formal. En otras palabras, se trata de un lenguaje de alto nivel que permite modelar algoritmos y sistemas, para posteriormente verificar programáticamente la ausencia de errores en dichos modelos.
-
SuperSEC: Congreso nacional sobre desarrollo seguro de software
En los próximos 12 y 13 de mayo se celebrará en el campus de la Universidad de Almería el congreso nacional sobre desarrollo seguro de software SuperSEC 2018.
-
Código seguro en las jornadas SLCENT
El pasado día 9 de noviembre, se celebró la decimocuarta edición de las jornadas SLCENT (Software libre, cultura emprendedora y nuevas tecnologías), destinadas a profesores y estudiantes de Formación Profesional, además de cualquier curioso que quiso acercarse.
-
Fundado el grupo OWASP Almería
Ayer quedó fundado el grupo local OWASP Almería.
-
Gestionando datos delicados en Java
Cuando se desarrolla una aplicación que contiene datos sensibles (o, mejor dicho, delicados), el programador debe preguntarse si el entorno de ejecución es lo bastante seguro. La información a proteger, y la zona de memoria que ésta ocupa, se encontrarán a merced del nivel de aislamiento y del resto de aplicaciones ejecutándose en el sistema.
-
Hablando sobre código seguro en la PyConES 2016
Ya ha sido publicado el video de mi charla “Tu código apesta, pero puedes tomar medidas”, en la pasada PyConES 2016.
-
¡Bienvenido!
Bienvenido a la nueva web.
Suscríbete vía RSS