Patents by Inventor Kfir NISSAN

Kfir NISSAN has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11487519
    Abstract: The present invention relates to a method of converting logic written in software code into text, comprising: converting the code to a structured format that represents the logic described in each function of said code as a tree of elements, and mapping the elements of the structured format into corresponding counterparts in a target language for obtaining a text translation of the structured format.
    Type: Grant
    Filed: February 6, 2019
    Date of Patent: November 1, 2022
    Inventors: Kfir Nissan, Gilad Eisenberger
  • Publication number: 20210365555
    Abstract: The present invention relates to a system and a method which receives as an input transactions and a smart contract code, and provides as an output an analysis of possible issues such as possible security attacks or bugs found in the smart contract code that may exist in the smart contract code that was input to the blockchain-based system. More specifically, the present invention relates to the way data is stored in decentralized systems such as blockchain-based systems, to identify base paths and then alters the base paths looking for an attack, in a guided way.
    Type: Application
    Filed: March 18, 2019
    Publication date: November 25, 2021
    Applicant: VALID NETWORK LTD
    Inventors: Kfir NISSAN, Gilad EISENBERGER
  • Publication number: 20200410460
    Abstract: A system comprising a blockchain computer system that hosts an original smart contract and stores and maintains a blockchain ledger, and an off-chain computer system that is configured to automatically perform an off-chain comparison between the behavior of the original smart contract and a new smart contract and accordingly to provide an insight.
    Type: Application
    Filed: March 18, 2019
    Publication date: December 31, 2020
    Applicant: VALID NETWORK LTD
    Inventors: Kfir NISSAN, Gilad EISENBERGER
  • Publication number: 20200364037
    Abstract: The present invention relates to a method of converting logic written in software code into text, comprising: converting the code to a structured format that represents the logic described in each function of said code as a tree of elements, and mapping the elements of the structured format into corresponding counterparts in a target language for obtaining a text translation of the structured format.
    Type: Application
    Filed: February 6, 2019
    Publication date: November 19, 2020
    Applicant: VALID NETWORK LTD
    Inventors: Kfir NISSAN, Gilad EISENBERGER