Manjukeshwar Reddy Mandadi

Publication Activity (10 Years)

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

Top Topics

Artificial Immune Algorithm

Security Services

Formal Analysis

Top Venues

J. Inf. Secur. Appl.

Publications

Manjukeshwar Reddy Mandadi, Varuneshwar Reddy Mandadi, Kazuhiro Ogata
Formal analysis of a security protocol for e-passports based on rewrite theory specifications. J. Inf. Secur. Appl. 42 (2018)