SLR9 – Robust and secure programming