@misc{indiciaeac6a1fc93c22,
  title = {Security Engineering in IIIf, Part II -- Shadowing the IIIf},
  author = {Florian Kammüller},
  year = {2026},
  url = {https://arxiv.org/abs/2412.10949},
  note = {Source identifier: 2412.10949}
}