HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. - Paventhan Vivekanandan (LPAR (Workshop and Short Papers), 2018)

Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. - Paventhan Vivekanandan (WFLP, 2018)

Code Generation for Higher Inductive Types. - Paventhan Vivekanandan (CoRR, 2018)

A Type-based Formal Specification for Cryptographic Protocols. - Paventhan Vivekanandan (J. Internet Serv. Inf. Secur., 2018)

Malware and Vulnerability Analysis using Graph-synchronized Language Model. - Paventhan Vivekanandan; Alexander Shroyer; Martin Swany (RAID, 2025)