학술논문
Upper Bound Computation of Information Leakages for Unbounded Recursion
Document Type
Conference Paper
Author
Source
In: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13085 LNCS:160-177)
Subject
Language
English
ISSN
16113349
03029743
03029743