<?xml version="1.0" encoding="UTF-8"?>
<article article-type="Research Article">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher">journal-of-discrete-mathematical-sciences-and-cryptography</journal-id>
      <journal-title-group>
        <journal-title>Journal of Discrete Mathematical Sciences and Cryptography</journal-title>
      </journal-title-group>
      <issn publication-format="electronic">2169-0065</issn>
      <issn publication-format="print">0972-0529</issn>
      <publisher>
        <publisher-name>Taru Publications</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.47974/JDMSC-2465</article-id>
      <title-group>
        <article-title>Cryptographic modeling and discrete structures for intrusion detection in Ethereum smart contracts</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Singh</surname>
            <given-names>Vaibhav Pratap</given-names>
          </name>
          <aff>Department of Computer Science &amp; Engineering, School of Engineering Sciences &amp; Technology, Jamia Hamdard, New Delhi, 110062, India</aff>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name>
            <surname>Biswas</surname>
            <given-names>Siddhartha Sankar</given-names>
          </name>
          <aff>Department of Computer Science &amp; Engineering, School of Engineering Sciences &amp; Technology, Jamia Hamdard, New Delhi, 110062, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Alankar</surname>
            <given-names>Bhavya</given-names>
          </name>
          <aff>Department of Computer Science &amp; Engineering, School of Engineering Sciences &amp; Technology, Jamia Hamdard, New Delhi, 110062, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Tanweer</surname>
            <given-names>Safdar</given-names>
          </name>
          <aff>Department of Computer Science &amp; Engineering, School of Engineering Sciences &amp; Technology, Jamia Hamdard, New Delhi, 110062, India</aff>
        </contrib>
      </contrib-group>
      <volume>28</volume>
      <issue>8</issue>
      <fpage>3039</fpage>
      <lpage>3048</lpage>
      <pub-date date-type="pub">
        <day>08</day>
        <month>12</month>
        <year>2025</year>
      </pub-date>
      <abstract>
        <p>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. </p>
      </abstract>
      <kwd-group>
        <kwd>Smart contracts</kwd>
        <kwd>Ethereum blockchain</kwd>
        <kwd>Intrusion detection</kwd>
        <kwd>Cryptographic modeling</kwd>
        <kwd>Discrete mathematical structures</kwd>
        <kwd>Formal verification</kwd>
        <kwd>Reentrancy attacks</kwd>
      </kwd-group>
      <custom-meta-group>
        <custom-meta>
          <meta-name>access</meta-name>
          <meta-value>open</meta-value>
        </custom-meta>
        <custom-meta>
          <meta-name>retracted</meta-name>
          <meta-value>no</meta-value>
        </custom-meta>
      </custom-meta-group>
    </article-meta>
  </front>
</article>
