• POPL 2013
• POPL 2014
• POPL 2015
• Imprint
• Data protection