6 citations · 10 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 3 cited
Runtime Analysis of Whole-System Provenance
Thomas Pasquier, Xueyuan Han, Thomas Moyer +5
Identifying the root cause and impact of a system intrusion remains a foundational challenge in computer security. Digital provenance provides a detailed history of the flow of inf…
cs.LO2018
Polarized Rewriting and Tableaux in B Set Theory
Olivier Hermant
We propose and extension of the tableau-based first-order automated theorem prover Zenon Modulo to polarized rewriting. We introduce the framework and explain the potential benefit…