48 citations · 362 across the 28 of their papers we have counts for
3 papers · 1 filter
Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, Andreas Lindner +2
Observational models make tractable the analysis of information flow properties by providing an abstraction of side channels. We introduce a methodology and a tool, Scam-V, to vali…
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, Christopher Wagner +2
Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is…
QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2
The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far f…