CTSRD - CRASH-worthy Trusted Systems R&D