4 citations · 7 across the 8 of their papers we have counts for
4 papers
A Solver + Gradient Descent Training Algorithm for Deep Neural Networks
Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa +1
We present a novel hybrid algorithm for training Deep Neural Networks that combines the state-of-the-art Gradient Descent (GD) method with a Mixed Integer Linear Programming (MILP)…
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Saeed Nejati, Jia Hui Liang, Vijay Ganesh +2
SAT solvers are increasingly being used for cryptanalysis of hash functions and symmetric encryption schemes. Inspired by this trend, we present MapleCrypt which is a SAT solver-ba…
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…
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…