3 papers
cs.CR2021
A practical analysis of ROP attacks
Ayush Bansal, Debadatta Mishra
Control Flow Hijacking attacks have posed a serious threat to the security of applications for a long time where an attacker can damage the control Flow Integrity of the program an…
cs.PL2021
Input Validation with Symbolic Execution
Anay Mehrotra, Ayush Bansal, Awanish Pandey +1
Symbolic execution has always been plagued by the inability to handle programs that require highly structured inputs. Most often, the symbolic execution engine gets overwhelmed by…
cs.CL2018
ReDecode Framework for Iterative Improvement in Paraphrase Generation
Milan Aggarwal, Nupur Kumari, Ayush Bansal +1
Generating paraphrases, that is, different variations of a sentence conveying the same meaning, is an important yet challenging task in NLP. Automatically generating paraphrases ha…