An efficient signature aggregation scheme with antenna hardware implementation for VANETs. [PDF]
Sci RepPriyadharshini A +4 more
europepmc +1 more source
Identity-Based Provable Data Possession with Designated Verifier from Lattices for Cloud Computing. [PDF]
Entropy (Basel)Zhao M, Chen H.
europepmc +1 more source
RETRACTION: Treatment with β-elemene combined with paclitaxel inhibits growth, migration, and invasion and induces apoptosis of ovarian cancer cells by activation of STAT-NF-κB pathway. [PDF]
Braz J Med Biol Reseuropepmc +1 more source
How secure are your health devices-stopping wearables becoming a personal and national security risk? [PDF]
NPJ Digit MedOstermann M +4 more
europepmc +1 more source
Related searches:
On the Formal Verification of Smart Contracts
2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT), 2023In recent years, Blockchain-based systems have experienced rapid growth. Although these systems are in production, they are not exempt from presenting defects in the design of their elements such as Smart Contracts. Design defects in Smart Contracts lead
René Dávila +2 more
semanticscholar +1 more source
Formal Methods for the Verification of Smart Contracts: A Review
International Conference on Security of Information and Networks, 2022Smart contracts are digital contracts that rely on Blockchain technology to make their terms and execution conditions unforgeable. The purpose of a smart contract is to eliminate the need for a middleman in business and trade between anonymous and ...
M. Krichen +2 more
semanticscholar +1 more source
A Survey on Formal Verification for Solidity Smart Contracts
Australasian Computer Science Week, 2021One of the 21st century’s hottest topics in the world of IT has been the emergence of what some predict to be the foundation stone for a new era of internet (web 3.0): Blockchain technology.
Ikram Garfatta +3 more
semanticscholar +1 more source
Polynomial Formal Verification of Prefix Adders
Asian Test Symposium, 2021Nowadays, prefix adders are widely used in different designs and applications due to their flexible carry propagation hardware. The variety of these adders makes it possible to find the best choice based on the design parameters, e.g., area, delay ...
Alireza Mahzoon, R. Drechsler
semanticscholar +1 more source
Pruning and Slicing Neural Networks using Formal Verification
Formal Methods in Computer-Aided Design, 2021Deep neural networks (DNNs) play an increasingly important role in various computer systems. In order to create these networks, engineers typically specify a desired topology, and then use an automated training algorithm to select the network’s weights ...
O. Lahav, Guy Katz
semanticscholar +1 more source
Towards Formal Verification of Optimized and Industrial Multipliers
Design, Automation and Test in Europe, 2020Formal verification methods have made huge progress over the last decades. However, proving the correctness of arithmetic circuits involving integer multipliers still drives the verification techniques to their limits. Recently, Symbolic Computer Algebra
Alireza Mahzoon +3 more
semanticscholar +1 more source