@misc{indiciae29c7353f86c2, title = {Quest Complete: the Holy Grail of Gradual Security}, author = {Tianyu Chen and Jeremy G. Siek}, year = {2024}, url = {https://arxiv.org/abs/2312.02359}, note = {Source identifier: 2312.02359} }