2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 2 cited
Parallel Verification of Natural Deduction Proof Graphs
James T. Oswald, Brandon Rozek
Graph-based interactive theorem provers offer a visual representation of proofs, explicitly representing the dependencies and inferences between each of the proof steps in a graph…
cs.LO2022★ 2 cited
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Dalton Chichester, Wei Du, Raymond Kauffman +8
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable pr…