SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course. - Monika Di Angelo; Christian Sack; Gernot Salzer (Financial Cryptography Workshops, 2019)