Paventhan Vivekanandan

Orcid: 0000-0002-9593-0627

According to our database¹, Paventhan Vivekanandan authored at least 5 papers between 2018 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Malware and Vulnerability Analysis using Graph-synchronized Language Model.

[DOI]

Proceedings of the 28th International Symposium on Research in Attacks, 2025

2018

A Type-based Formal Specification for Cryptographic Protocols.

[DOI]

J. Internet Serv. Inf. Secur., 2018

Code Generation for Higher Inductive Types.

[DOI]

CoRR, 2018

Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming.

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography.

[DOI]

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018