Properties of two-layer FHE and their applications. (2017)