Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.

Jir Balun, Toms Masopust, Petr Osicka

Browse the full MFCS paper archive.