TY  - RPRT
TI  - Global Surveillance Under the Lens: Reconstructing Passive Dolev-Yao Intruders
AU  - Paolo Modesti
PY  - 2026
UR  - https://arxiv.org/abs/2611.07170
ID  - 2611.07170
ER  -