Slide 1 Stabilization Enabling Technology Shlomi Dolev Slide 2 Trustworthy Systems: Why is it So Hard? Corbató’91: "It almost goes without saying that ambitious systems…