Gilles Barthe y Francois Dupressoir, investigadores del Instituto IMDEA Software, han contribuído al descubrimiento de nuevas vulnerabilidades en el software de código abierto s2n distribuido por Amazon. El software s2n es una librería que implementa el protocolo TLS para proporcionar seguridad a la capa de transporte en comunicaciones en red. Junto con Michael Emmi, también miembro del Instituto, estos investigadores están trabajando en el desarrollo de herramientas que permitan, de manera automática, probar la ausencia de vulnerabilidades en implementaciones de protocolos seguros, como por ejemplo s2n.
La historia completa puede leerse en el Blog de Seguridad de Amazon Web Services.
