Security concerns Trusted and verified systems