TY  - RPRT
TI  - Cryptis: Cryptographic Reasoning in Separation Logic
AU  - Arthur Azevedo de Amorim
AU  - Amal Ahmed
AU  - Marco Gaboardi
PY  - 2025
UR  - https://arxiv.org/abs/2502.21156
ID  - 2502.21156
ER  -