Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Analysis of Linux-PRNG (Pseudo Random Number Generator)
Ayush Bansal, Pramod Subramanyan, Satyadev Nandakumar
The Linux pseudorandom number generator (PRNG) is a PRNG with entropy inputs and is widely used in many security-related applications and protocols. This PRNG is written as an open…
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…