Ankit Pradhan

According to our database, Ankit Pradhan authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bounded-memory runtime enforcement with probabilistic and performance analysis.

Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone

Formal Methods Syst. Des., June, 2024

2023

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.

Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop

IEEE Trans. Computers, September, 2023

2021

Compositional runtime enforcement revisited.

Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis

Formal Methods Syst. Des., 2021

PMTER-ABE: a practical multi-authority CP-ABE with traceability, revocation and outsourcing decryption for secure access control in cloud systems.

Kamalakanta Sethi, Ankit Pradhan, Padmalochan Bera

Clust. Comput., 2021

2020

Practical traceable multi-authority CP-ABE with outsourcing decryption and access policy updation.

Kamalakanta Sethi, Ankit Pradhan, Padmalochan Bera

J. Inf. Secur. Appl., 2020

Self-Attention for Cyberbullying Detection.

Ankit Pradhan, Venu Madhav Yatam, Padmalochan Bera

Proceedings of the 2020 International Conference on Cyber Situational Awareness, 2020

Smart Grid Data Security using Practical CP-ABE with Obfuscated Policy and Outsourcing Decryption.

Ankit Pradhan, R. Punith, Kamalakanta Sethi, Padmalochan Bera

Proceedings of the 2020 International Conference on Cyber Situational Awareness, 2020

Attribute-Based Data Security with Obfuscated Access Policy for Smart Grid Applications.

Kamalakanta Sethi, Ankit Pradhan, Padmalochan Bera

Proceedings of the 2020 International Conference on COMmunication Systems & NETworkS, 2020

2019

A Scalable Attribute Based Encryption for Secure Data Storage and Access in Cloud.

Kamalakanta Sethi, Ankit Pradhan, R. Punith, Padmalochan Bera

Proceedings of the 2019 International Conference on Cyber Security and Protection of Digital Services, 2019

Distributed Multi-authority Attribute-Based Encryption Using Cellular Automata.

Ankit Pradhan, Kamalakanta Sethi, Shrohan Mohapatra, Padmalochan Bera

Proceedings of the Cryptology and Network Security - 18th International Conference, 2019