Cumulus4j: A Provably Secure Database Abstraction Layer. - Matthias Huber; Matthias Gabel; Marco Schulze; Alexander Bieber (CD-ARES Workshops, 2013)