GPU-acceleration of blowfish cryptographic algorithm. - Kapil Earanky; Haytham Elmiligi; Musfiq Rahman (PACRIM, 2015)

Safe replication through bounded concurrency verification. - Gowtham Kaki; Kapil Earanky; K. C. Sivaramakrishnan; Suresh Jagannathan (Proc. ACM Program. Lang., 2018)