TARU PUBLICATIONS
Journal of Discrete Mathematical Sciences and Cryptography cover

Journal of Discrete Mathematical Sciences and Cryptography

(Since 1998)
Open Access ·Peer-reviewed·ISSN (Online): 2169-0065·ISSN (Print): 0972-0529

CiteScore 2025: 2.7 (Q1)

Powered by:Powered by

Monthly Journal: Publishes theoretical and applied research in all areas of Discrete Mathematical Sciences, Cryptography, Combinatorics, Elliptic Curves and Information Security.

Issues up to 2022 co-published with and available at:Taylor & Francis Online
submissions@tarupublications.com
Taru Online First Current IssueSpecial IssuesBrowse all Issues
Journal of Discrete Mathematical Sciences and Cryptography
Open Access Research Article

Cryptographic modeling and discrete structures for intrusion detection in Ethereum smart contracts

, * , ,

* Corresponding author · click or hover a name for details

pp. 3039–3048Vol. 28Issue 8December 2025DOI: 10.47974/JDMSC-2465 Crossmark XML
Received:
10 Dec 2024
Published Online:
08 Dec 2025
Article type:
Research Article
Language:
EN
Article no.:
JDMSC-2465
Pages:
3039–3048

Abstract

The increasing adoption of smart contracts on Ethereum and similar blockchain platforms has brought new security concerns, particularly regarding code-level vulnerabilities and unauthorized intrusions. This paper introduces a hybrid framework for intrusion detection in Ethereum smart contracts, leveraging cryptographic modeling and discrete mathematical structures. The framework formalizes contract behavior using graph theory and logic-based models to detect deviations from predefined secure states. Cryptographic primitives such as hash functions and digital signatures ensure data integrity and transactional authenticity. A temporal logic-based formal verification mechanism validates execution paths, while an embedded intrusion detection module enables real-time monitoring and automatic threat response. Experimental evaluation on Ethereum testnets demonstrates enhanced accuracy in identifying reentrancy attacks, access control violations, and state inconsistencies. The results affirm the effectiveness of discrete structures and cryptographic techniques in strengthening the security and reliability of decentralized applications. 

Keywords

Smart contractsEthereum blockchainIntrusion detectionCryptographic modelingDiscrete mathematical structuresFormal verificationReentrancy attacks

Subject Classifications

Primary 93A30Secondary 49K15

References

[1] G. Vieira and J. Zhang, “Peer-to-peer energy trading in a microgrid leveraged by smart contracts,” Renewable and Sustainable Energy Reviews, vol. 143, pp. 110900 (2021).
[2] H. A. Taherdoost, “Critical review of blockchain acceptance models—Blockchain technology adoption frameworks and applications,” Computers, vol. 11, pp. 24 (2022).
[3] S. Nakamoto, “Bitcoin: A peer-to-peer electronic cash system,” Decentralized Business Review, 21260 (2008). [Online]. Available: https://bitcoin.org/en/bitcoin-paper [Accessed: 1-Dec-2022].
[4] E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis, A. De Caro, D. Enyeart, C. Ferris, G. Laventman, and Y. Manevich, “Hyperledger fabric: A distributed operating system for permissioned blockchains,” in Proc. 13th EuroSys Conf., New York, NY, USA: ACM, pp. 1–15 (2018).
[5] V. Buterin, “A next-generation smart contract and decentralized application platform,” White Paper, vol. 3, pp. 2–1 (2014).
[6] J. M. Sklaroff, “Smart contracts and the cost of inflexibility,” University of Pennsylvania Law Review, vol. 166, pp. 263–300 (2017).
[7] D. Macrinici, C. Cartofeanu, and S. Gao, “Smart contract applications within blockchain technology: A systematic mapping study,” Telematics and Informatics, vol. 35, pp. 2337–2354 (2018).
[8] M. Madanchian and H. Taherdoost, “The impact of digital transformation development on organizational change,” in Driving Transformative Change in E-Business through Applied Intelligence and Emerging Technologies, Hershey, PA, USA: IGI Global, pp. 1–24 (2022).
[9] S. Rouhani and R. Deters, “Security, performance, and applications of smart contracts: A systematic survey,” IEEE Access, vol. 7, pp. 50759–50779 (2019).
[10] T. Feng, X. Yu, Y. Chai, and Y. Liu, “Smart contract model for complex reality transactions,” International Journal of Crowd Science, vol. 3, pp. 184–197 (2019).
[11] R. Gangarde, A. Julian, M. S. Murali Dhar, G. Immaculate Mary, M. Rele, and M. Vaithianathan, “Applications of partial differential equations and Green’s functions in climate change modeling,” Journal of Interdisciplinary Mathematics, vol. 28, no. 6, pp. 2079–2088 (2025), doi: 10.47974/JIM-2349.
[12] V. Sri Lakshmi, N. Srimannarayana, M. V. C. Rao, F. Ayant, and D. K. P. Kumar, “Eulerian integrals of I-function,” Journal of Interdisciplinary Mathematics, vol. 28, no. 6, pp. 2121–2130 (2025), doi: 10.47974/JIM-2353.
[13] S. Ahuja and R. K. Tailor, “Application of robotic process automation in customer satisfaction at toll plazas,” Journal of Information and Optimization Sciences, vol. 44, no. 8, pp. 1685–1694 (2023), doi: 10.47974/JIOS-1484.

Views: 155Downloads: 125Citations: 0