@第{zbMATH07311962条，作者={Barthe、Gilles和Betarte、Gustavo和Campo、Juan Diego和Luna、Carlos和Pichardie、David}，标题={恒定时间加密的系统级不干涉。{II}:{已验证}静态分析和隐形内存}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN＝{0168-7433}，体积={64}，数字={8}，页码={1685---1729}，年份={2020年}，语言={英语}，DOI={10.1007/s10817-020-09548-x}，关键词={68M25,68V15,94A60}，zbMATH={7311962}，Zbl={1459.68027}}