1 code implementation • LREC 2018 • Bettina Klimek, Robert Sch{\"a}dlich, Dustin Kr{\"o}ger, Edwin Knese, Benedikt El{\ss}mann