What we know
This paper addresses how intruders can exploit timing side channels to distinguish whether a system is a honeypot or a real system, potentially helping them evade defense mechanisms. The authors introduce a novel definition of timed observational equivalence using symbolic time constraints, enabling automation via SMT solvers.
Evidence limits
This entry is based solely on the available title and abstract; the full text has not been reviewed and the automation or efficacy of the proposed method has not been independently verified.
Reviewed: author abstract. Full-text results were not analyzed.
Sources and provenance
- Symbolic Timed Observational Equivalence
abstract · 2026-10-04
Reviewed: 2026-10-04. This record may change when new evidence is found.