63 citations · 252 across the 39 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.CR2012
STP/HAMPI and Computer Security
Vijay Ganesh
In the past several years I have written two SMT solvers called STP and HAMPI that have found widespread use in computer security research by leading groups in academia, industry a…
cs.SE2012★ 3 cited
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography
Vijay Ganesh, Michael Carbin, Martin Rinard
We propose a novel approach to improving software security called Cryptographic Path Hardening, which is aimed at hiding security vulnerabilities in software from attackers through…