Implementing real-time transactional security property using timed edit automata. - N. Rajamanickam; R. Nadarajan (SIN, 2013)

Formal Verification of Finite State Transactional Security Policy. - N. Rajamanickam; R. Nadarajan; Atilla Elçi (NSS, 2014)

A lightweight two-gateway based payment protocol ensuring accountability and unlinkable anonymity with dynamic identity. - Venkatasamy Sureshkumar; Anitha Ramalingam; N. Rajamanickam; Ruhul Amin 001 (Comput. Electr. Eng., 2017)