TY  - RPRT
TI  - Mechanised Hypersafety Proofs about Structured Data: Extended Version
AU  - Vladimir Gladshtein
AU  - Qiyuan Zhao
AU  - Willow Ahrens
AU  - Saman Amarasinghe
AU  - Ilya Sergey
PY  - 2024
DO  - 10.1145/3656403
UR  - https://arxiv.org/abs/2404.06477
ID  - 2404.06477
ER  -