Paventhan Vivekanandan

Orcid: 0000-0002-9593-0627

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Malware and Vulnerability Analysis using Graph-synchronized Language Model.
Proceedings of the 28th International Symposium on Research in Attacks, 2025

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

Code Generation for Higher Inductive Types.
CoRR, 2018

Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming.
Proceedings of the Functional and Constraint Logic Programming, 2018

HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography.
Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018


  Loading...