-
公开(公告)号:EP4206967A1
公开(公告)日:2023-07-05
申请号:EP22208835.3
申请日:2022-11-22
Applicant: Tata Consultancy Services Limited
Inventor: NALLAGONDA, HARSHITA VANI , PANI, SIDDHASAGAR , RAMACHANDRAN, VIGNESWARAN , MEDICHERLA, RAVEENDRA KUMAR , BHATTACHAR, RAJAN MINDIGAL ALASINGARA
IPC: G06F21/57
Abstract: A method and system for finding vulnerabilities in a program using fuzzing have been provided. The disclosure provides a vulnerability detection framework using a language agnostic single fuzzer that can fuzz smart contracts written in different programming languages. The idea here is that a smart contract written in a high-level language is converted/compiled into an LLVM intermediate representation (LLVM IR) code and then perform the fuzzing on this LLVM IR code instead of fuzzing smart contract source code directly. The process of generating fuzz driver, report driver is automated by handling the standardization issue by carefully dividing the smart contracts into categories. The present disclosure is proposing processes of automation of fuzz or report driver generation. Further the language agnostic feature (done with intermediate representation) is also achieved. Further profiling is achieved which processes fuzzer output and generates meaningful data points.
-
公开(公告)号:EP4436093A1
公开(公告)日:2024-09-25
申请号:EP24158576.9
申请日:2024-02-20
Applicant: Tata Consultancy Services Limited
Inventor: AHUJA, ADITYA , RAMACHANDRAN, VIGNESWARAN , ALASINGARA BHATTACHAR, RAJAN MINDIGAL , LODHA, SACHIN PREMSUKH
CPC classification number: H04L9/50 , H04L9/3247 , H04L5/22 , H04L5/0001 , H04J3/00 , H04L67/60 , H04L9/3239 , H04L9/3297
Abstract: The present disclosure provides weight based slotted synchronous blockchain client network. Conventional blockchain consensus protocols heavily rely on synchrony assumptions of the underlying network. However, little attention has so far been given to similar assumptions on blockchain client networks. Such assumptions would be useful in deriving bounds on confirmation times of transactions through the blockchain protocol. To overcome the challenges of the conventional approaches, the present disclosure provides a weight based slotted synchronous blockchain client network. The blockchain client network of the present disclosure is slotted, wherein at most one transaction is submitted in each slot by one of the client nodes. Further, there exists a notion of synchrony in the peering between the client nodes and the blockchain nodes. In an embodiment, for each submitted transaction, there is an upper-bound on the number of slots on the reception of the said transaction at an arbitrary blockchain node.
-