Prisma is a multitier language for secure smart contracts. David presenting our work at @ECOOPconf #Ethereum #multitierprogramming @m_mezini @SebastFaust