“Tight Multi-User Security Bound of DbHtS”, ToSC, vol. 2023, no. 1, pp. 192–223, Mar. 2023, doi: 10.46586/tosc.v2023.i1.192-223.