14 citations · 28 across the 9 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023
State of the Art Report: Verified Computation
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha +8
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) S…
cs.CR2013★ 3 cited
Mining Malware Specifications through Static Reachability Analysis
Hugo Daniel Macedo, Tayssir Touili
The number of malicious software (malware) is growing out of control. Syntactic signature based detection cannot cope with such growth and manual construction of malware signature…