Bounded-memory runtime enforcement with probabilistic and performance analysis. - Shankar, Saumya; Pradhan, Ankit; Pinisetty, Srinivas; Rollet, Antoine; Falcone, Yliès (Formal Methods Syst. Des., 2024)

Runtime Enforcement with Event Reordering. - Pradhan, Ankit; Akil, C. G. Mitun; Pinisetty, Srinivas (2024)

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. - Pradhan, Ankit; King, Jonathan; Pinisetty, Srinivas; Roop, Partha S. (IEEE Trans. Computers, 2023)

PMTER-ABE: a practical multi-authority CP-ABE with traceability, revocation and outsourcing decryption for secure access control in cloud systems. - Sethi, Kamalakanta; Pradhan, Ankit; Bera, Padmalochan (Clust. Comput., 2021)

Compositional runtime enforcement revisited. - Pinisetty, Srinivas; Pradhan, Ankit; Roop, Partha S.; Tripakis, Stavros (Formal Methods Syst. Des., 2021)

Practical traceable multi-authority CP-ABE with outsourcing decryption and access policy updation. - Sethi, Kamalakanta; Pradhan, Ankit; Bera, Padmalochan (J. Inf. Secur. Appl., 2020)

Attribute-Based Data Security with Obfuscated Access Policy for Smart Grid Applications. - Sethi, Kamalakanta; Pradhan, Ankit; Bera, Padmalochan (2020)

Smart Grid Data Security using Practical CP-ABE with Obfuscated Policy and Outsourcing Decryption. - Pradhan, Ankit; Punith, R.; Sethi, Kamalakanta; Bera, Padmalochan (2020)

Self-Attention for Cyberbullying Detection. - Pradhan, Ankit; Yatam, Venu Madhav; Bera, Padmalochan (2020)

Distributed Multi-authority Attribute-Based Encryption Using Cellular Automata. - Pradhan, Ankit; Sethi, Kamalakanta; Mohapatra, Shrohan; Bera, Padmalochan (2019)

A Scalable Attribute Based Encryption for Secure Data Storage and Access in Cloud. - Sethi, Kamalakanta; Pradhan, Ankit; Punith, R.; Bera, Padmalochan (2019)