related documents Quantitative Mitigation of Timing Side Channels Conference Proceeding STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis Conference Proceeding
