搜索结果: 1-4 共查到“Atomicity”相关记录4条 . 查询时间(0.061 秒)
Testing Atomicity of Composed Concurrent Operations
concurrency linearizability testing composed operations collections
2016/5/24
Testing Atomicity of Composed Concurrent Operations.
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
Safe-Errors on SPA Protected implementations with the Atomicity Technique
Elliptic Curve Cryptography Side-Channel Atomicity Fault Attacks
2015/12/24
ECDSA is one of the most important public-key signature scheme, however it is vulnerable to lattice attack once a few bits of the nonces are leaked. To protect Elliptic Curve Cryptography (ECC) agains...
Low-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel Atomicity
Cryptographic algorithms side-channel analysis protected implementations
2009/4/10
This paper introduces simple methods to convert a cryp-
tographic algorithm into an algorithm protected against simple side-
channel attacks. Contrary to previously known solutions, the proposed
te...