title: HElib design principle authors: Shai Halevi, Victor Shoup year: 2020 URL: