@misc{indiciaef952837bfed3,
  title = {SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors},
  author = {Lennart M. Reimann and Jonathan Wiesner and Dominik Sisejkovic and Farhad Merchant and Rainer Leupers},
  year = {2023},
  url = {https://arxiv.org/abs/2308.02694},
  note = {Source identifier: 2308.02694}
}