Paventhan Vivekanandan

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 4

Top Topics

Code Generation

Database Server

Specification Languages

Information Technology

Top Venues

LPAR (Workshop and Short Papers)

J. Internet Serv. Inf. Secur.

Publications

Paventhan Vivekanandan
Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. WFLP (2018)
Paventhan Vivekanandan
A Type-based Formal Specification for Cryptographic Protocols. J. Internet Serv. Inf. Secur. 8 (4) (2018)
Paventhan Vivekanandan
Code Generation for Higher Inductive Types. CoRR (2018)
Paventhan Vivekanandan
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. LPAR (Workshop and Short Papers) (2018)