13 citations · 52 across the 27 of their papers we have counts for
4 papers · 1 filter
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen +4
In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the f…
Verifying C11-Style Weak Memory Libraries via Refinement
Sadegh Dalvandi, Brijesh Dongol
Deductive verification of concurrent programs under weak memory has thus far been limited to simple programs over a monolithic state space. For scalability, we also require modular…
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
Daniel Wright, Mark Batty, Brijesh Dongol
Deductive verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics for increasingly…
On Strong Observational Refinement and Forward Simulation
John Derrick, Simon Doherty, Brijesh Dongol +2
Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recent…