Code

Some of my research code is open source and available on Bitbucket.

Over the years, I've also accumulated two Github accounts: pramodsu and pramod, although there's not much of interest at either location that is public (for now anyway).

Links

• Models and proofs scripts for our FMCAD 2019 paper are available on Bitbucket.

• Source code for the machine-checked proofs in our CCS 2017 paper is on GitHub here.

• I am a developer of the UCLID5 verification system.

• Source code for the SAT attack tool is here. FALL attack source code is here.

• Source code for the hardware reverse engineering tool bsim which I developed during my PhD is here.

• I have a Python API to the amazingly fast SAT solver lingeling.

Acknowledgements

I should also mention that I use Bitbucket and GitHub's academic licenses. I am grateful to these companies for supporting our research.