School of Computer Science

SCH-IMP

SCH-IMP is a language and tool for quantifying side channels in probabilistic systems.