2 citations · 4 across the 9 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 2 cited
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Dalton Chichester, Wei Du, Raymond Kauffman +8
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable pr…
quant-ph2022
Nonclassical features in higher-dimensional systems through logical qudits
Sooryansh Asthana, V. Ravishankar
In a recent work [S. Asthana. New Journal of Physics 24.5 (2022): 053026], we have shown the interrelation of different nonclassical correlations in multiqubit systems with quantum…
quant-ph2022★ 2 cited
Integrated semi-quantum layered communication
Rajni Bala, Sooryansh Asthana, V. Ravishankar
In recent times, secure quantum communication in layered networks has emerged as an important area of study. In this paper, we harness the potential offered by multidimensional sta…