https://crocs.fi.muni.cz/_media/public/papers/nemec_roca_ccs17_preprint.pdf