63 citations · 252 across the 39 of their papers we have counts for
6 papers · 1 filter
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
William Zhang, Sebastian Banescu, Leonardo Passos +2
Smart contracts are executable programs that enable the building of a programmable trust mechanism between multiple entities without the need of a trusted third-party. Researchers…
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld +2
Despite numerous countermeasures proposed by practitioners and researchers, remote control-flow alteration of programs with memory-safety vulnerabilities continues to be a realisti…
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…
The Meaning of Attack-Resistant Systems
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
In this paper, we introduce a formal notion of partial compliance, called Attack-resistance, of a computer program running together with a defense mechanism w.r.t a non-exploitabil…
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…
ARBAC Policy for a Large Multi-National Bank
Karthick Jayaraman, Vijay Ganesh, Mahesh Tripunitara +2
Administrative role-based access control (ARBAC) is the first comprehensive administrative model proposed for role-based access control (RBAC). ARBAC has several features for desig…