Kumar, V. ., & Pachauri, S. . (2022). The Computational and Symbolic Security Analysis Connections. In 2022 4th International Conference on Inventive Research in Computing Applications (ICIRCA) (pp. 617–620).