SuperSEC 2018 pretende atraer contribuciones en el ámbito del desarrollo de software seguro tanto desde la perspectiva teórica como pragmática de cualquiera de los aspectos citados anteriormente: desde el proceso de desarrollo a las técnicas de verificación formal.