Rujia Li 0001 Yuanzhao Li Qin Wang 0008 Sisi Duan Qi Wang 0012 Mark Ryan 0001 Accountable Decryption Made Formal and Practical. 620-635 2025 20 IEEE Trans. Inf. Forensics Secur. https://doi.org/10.1109/TIFS.2024.3515808 db/journals/tifs/tifs20.html#LiLWDWR25 streams/journals/tifs