<?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-2147</article-id>
      <title-group>
        <article-title>Telemedicine formal verification using lightweight cryptography  : An efficient, robust, and secure Radix-16 scalar multiplication in application validate</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Kumar</surname>
            <given-names>Gautam</given-names>
          </name>
          <aff>Department of Artificial Intelligence and Machine Learning, Manipal University Jaipur, Jaipur, Rajasthan, 303007, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Srivastava</surname>
            <given-names>Atul</given-names>
          </name>
          <aff>Department of Computer Science and Engineering, Amity School of Engineering and Technology, Amity University, Lucknow, Uttar Pradesh, 226028, India</aff>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name>
            <surname>Sharma</surname>
            <given-names>Vijay Shankar</given-names>
          </name>
          <aff>Department of Computer and Communication Engineering, Manipal University Jaipur, Jaipur, Rajasthan, 303007, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Pillai</surname>
            <given-names>Anuradha</given-names>
          </name>
          <aff>Department of Computer Science and Engineering, Symbiosis Institute of Technology, Pune, Maharashtra, 412115, India</aff>
        </contrib>
      </contrib-group>
      <volume>28</volume>
      <issue>5-A</issue>
      <fpage>1487</fpage>
      <lpage>1496</lpage>
      <pub-date date-type="pub">
        <day>30</day>
        <month>08</month>
        <year>2025</year>
      </pub-date>
      <abstract>
        <p>The Elliptic curve cryptography (ECC) in cryptography is an interesting to go into the depth of the best performance optimization and fascinating area to work, where scalar multiplication is playing an important role and giving the insight in gaining the computation efficiency. A good efficient technical way is possible through the reduced number of precomputed operations use on scalar multiplication. The research gap shows here a systematic approach for one of the more efficient techniques is possible too by comparing to the most recent in variations of scalar multiplication schemes. We have proposed and applied Radix-16 Scalar Multiplication scheme which works without precomputation. The hardware and the software performances are representing a marginal enhancement in all the related proposed techniques on theoretical speedup on each key size=6.25% and on software perspective speedup on each key size=8.33%. The logic behind to take problem is to work on a smaller key to the best suits for the low memory devices, to initiate the operation on shorter clock cycles, and high speed to achieve with integrating to the marginal high level of security strengths. A Telemedicine application-oriented work is presented in this manuscript using the ECC, as a part of the lightweight cryptography approach, and a robust application scenario on reduced computational complexity. The approach is efficient, robust, and secure enough mathematically to justify the claimed work. Further, the formal verification tool AVISPA/SPAN is used to validate the considered work. </p>
      </abstract>
      <kwd-group>
        <kwd>ECC</kwd>
        <kwd>Precomputation</kwd>
        <kwd>Telemedicine</kwd>
        <kwd>Radix-16 scalar multiplication</kwd>
        <kwd>Non-fifteen Encoding</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>
