This might be of interest:

https://publications.cispa.saarland/4033/1/resolfuzz-esorics2023.pdf