Seol mar théacs é seo: Trustworthy distributed systems through integrity−reporting (invited book chapter)