Zaslat SMS: Safety of computer architectures