Jacobs, Swen; Sakr, Mouhammad A symbolic algorithm for lazy synthesis of eager strategies. (English) Zbl 1435.68198 Acta Inf. 57, No. 1-2, 81-106 (2020). MSC: 68Q60 68T20 91A80 94C11 PDFBibTeX XMLCite \textit{S. Jacobs} and \textit{M. Sakr}, Acta Inf. 57, No. 1--2, 81--106 (2020; Zbl 1435.68198) Full Text: DOI
Matsuda, Takahiro; Hanaoka, Goichiro Trading plaintext-awareness for simulatability to achieve chosen ciphertext security. (English) Zbl 1388.94073 Cheng, Chen-Mou (ed.) et al., Public-key cryptography – PKC 2016. 19th IACR international conference on practice and theory in public-key cryptography, Taipei, Taiwan, March 6–9, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49383-0/pbk; 978-3-662-49384-7/ebook). Lecture Notes in Computer Science 9614, 3-34 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{T. Matsuda} and \textit{G. Hanaoka}, Lect. Notes Comput. Sci. 9614, 3--34 (2016; Zbl 1388.94073) Full Text: DOI