The simple and secure server back-end to Hushush