1. Lecture Notes in Computer Science;P Ananth,2018
2. Barthe, G., et al.: Strong non-interference and type-directed higher-order masking. In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S. (eds.) Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24–28, 2016, pp. 116–129. ACM (2016)
3. LNCS;S Belaïd,2023
4. Lecture Notes in Computer Science;S Belaïd,2018
5. Bogdanov, A., Dinesh, K., Filmus, Y., Ishai, Y., Kaplan, A., Srinivasan, A.: Bounded indistinguishability for simple sources. In: Braverman, M. (ed.) 13th Innovations in Theoretical Computer Science Conference, ITCS 2022, LIPIcs, January 31 - February 3, 2022, Berkeley, CA, USA, vol. 215, pp. 26:1–26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)