direct link to paper (pdf): https://www.usenix.org/system/files/atc20-maruf.pdf