3 papers
cs.CC2025
Safety Analysis in the NGAC Model
Brian Tan, Ewan S. D. Davies, Indrakshi Ray +1
We study the safety problem for the next-generation access control (NGAC) model. We show that under mild assumptions it is coNP-complete, and under further realistic assumptions we…
math.CO2025
Local Weak Degeneracy of Planar Graphs
Ewan Davies, Evelyne Smith-Roberge
Thomassen showed that planar graphs are 5-list-colourable, and that planar graphs of girth at least five are 3-list-colourable. An easy degeneracy argument shows that planar graphs…
math.CO2024
On the occupancy fraction of the antiferromagnetic Ising model
Ewan Davies, Olivia LeBlanc
We study the maximum and minimum occupancy fraction of the antiferromagnetic Ising model in regular graphs. The minimizing problem is known to determine a computational threshold i…