Keynote Talk II -- On Distributed Verification -- Session II A: Security -- The Price of