Ankit Pradhan

11 papers B 1C 1Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Bounded-memory runtime enforcement with probabilistic and performance analysis.
Formal Methods Syst. Des.
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
2024 C conf
Runtime Enforcement with Event Reordering.
ICTAC
Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty
2023 J jnl
Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.
IEEE Trans. Computers
Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop
2021 J jnl
Compositional runtime enforcement revisited.
Formal Methods Syst. Des.
Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis
2021 J jnl
PMTER-ABE: a practical multi-authority CP-ABE with traceability, revocation and outsourcing decryption for secure access control in cloud systems.
Clust. Comput.
Kamalakanta Sethi, Ankit Pradhan, Padmalochan Bera
2020 Misc conf
Attribute-Based Data Security with Obfuscated Access Policy for Smart Grid Applications.
COMSNETS
Kamalakanta Sethi, Ankit Pradhan, Padmalochan Bera
2020 J jnl
Practical traceable multi-authority CP-ABE with outsourcing decryption and access policy updation.
J. Inf. Secur. Appl.
Kamalakanta Sethi, Ankit Pradhan, Padmalochan Bera
2020 — conf
Self-Attention for Cyberbullying Detection.
CyberSA
Ankit Pradhan, Venu Madhav Yatam, Padmalochan Bera
2020 — conf
Smart Grid Data Security using Practical CP-ABE with Obfuscated Policy and Outsourcing Decryption.
CyberSA
Ankit Pradhan, R. Punith, Kamalakanta Sethi, Padmalochan Bera
2019 — conf
A Scalable Attribute Based Encryption for Secure Data Storage and Access in Cloud.
Cyber Security
Kamalakanta Sethi, Ankit Pradhan, R. Punith, Padmalochan Bera
2019 B conf
Distributed Multi-authority Attribute-Based Encryption Using Cellular Automata.
CANS
Ankit Pradhan, Kamalakanta Sethi, Shrohan Mohapatra, Padmalochan Bera