1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.FL2021★ 1 cited
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…
math.AG2020
Euclidean distance degree and mixed volume
Paul Breiding, Frank Sottile, James Woodcock
We initiate a study of the Euclidean Distance Degree in the context of sparse polynomials. Specifically, we consider a hypersurface f=0 defined by a polynomial f that is general gi…