Upper Bound Computation of InformationLeakages for Unbounded Recursion

Reviewed Paper In Proceedings

Author(s):Johannes Bechberger and Alexander Weigl
In:SEFM 2021
Publisher:Springer
Series:Lecture Notes in Computer Science
Year:2021

BibTeX

@inproceedings{BechbergerWeigl2021,
  author    = {Johannes Bechberger and Alexander Weigl},
  title     = {  Upper Bound Computation of InformationLeakages for Unbounded Recursion},
  booktitle = { SEFM 2021},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2021},
  month     = Dec,
  find_pdf = {sefm2021.pdf}
}