Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level.
Furthermore, the principled structure of Scilla will make applications inherently more secure and amenable to formal verification.