Teóricamente, sí, para una definición estrecha de "hackeable". Existe una rama de la seguridad informática llamada verificación formal. En la verificación formal, se definen ciertas propiedades de seguridad, como "los sitios web no pueden leer datos privados de otros sitios web en diferentes pestañas", y luego se demuestra matemáticamente que un programa no puede violarlas. Investigadores de la UC San …