Follow
Ankit Pradhan
Ankit Pradhan
PhD Student, Computer Science, University of Texas at Austin
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
Practical traceable multi-authority CP-ABE with outsourcing decryption and access policy updation
K Sethi, A Pradhan, P Bera
Journal of Information Security and Applications 51, 102435, 2020
572020
PMTER-ABE: a practical multi-authority CP-ABE with traceability, revocation and outsourcing decryption for secure access control in cloud systems
K Sethi, A Pradhan, P Bera
Cluster Computing 24, 1525-1550, 2021
272021
Self-Attention for Cyberbullying Detection
A Pradhan, VM Yatam, P Bera
2020 International Conference on Cyber Situational Awareness, Data Analytics …, 2020
182020
A scalable attribute based encryption for secure data storage and access in cloud
K Sethi, A Pradhan, R Punith, P Bera
2019 International Conference on Cyber Security and Protection of Digital …, 2019
42019
Smart Grid Data Security using Practical CP-ABE with Obfuscated Policy and Outsourcing Decryption
A Pradhan, K Sethi, P Bera
2020 International Conference on Cyber Situational Awareness, Data Analytics …, 2020
32020
Distributed multi-authority attribute-based encryption using cellular automata
A Pradhan, K Sethi, S Mohapatra, P Bera
Cryptology and Network Security: 18th International Conference, CANS 2019 …, 2019
32019
Compositional runtime enforcement revisited
S Pinisetty, A Pradhan, P Roop, S Tripakis
Formal Methods in System Design 59 (1), 205-252, 2021
22021
Attribute-Based Data Security with Obfuscated Access Policy for Smart Grid Applications
K Sethi, A Pradhan, P Bera
2020 International Conference on COMmunication Systems & NETworkS (COMSNETS …, 2020
22020
Graphs Whose Independence Fractals are Line Segments
S Barik, T Nayak, A Pradhan
Bulletin of the Malaysian Mathematical Sciences Society 44, 55-78, 2021
12021
Bounded-memory runtime enforcement with probabilistic and performance analysis
S Shankar, A Pradhan, S Pinisetty, A Rollet, Y Falcone
Formal Methods in System Design, 1-40, 2024
2024
Model based verification of spiking neural networks in cyber physical systems
A Pradhan, J King, S Pinisetty, PS Roop
IEEE Transactions on Computers, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–11