Seol mar théacs é seo: Data independent verification of crypto−protocols