TY  - RPRT
TI  - Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
AU  - Ali Hajiabadi
AU  - Trevor E. Carlson
PY  - 2025
DO  - 10.1145/3695053.3731048
UR  - https://arxiv.org/abs/2406.04290
ID  - 2406.04290
ER  -