The increment of computer technology use and the continued growth of companies have
enabled most financial transactions to be performed through the electronic commerce …

The internet is a ubiquitous technology that has changed conventional human interactions.
In our present time, it is not unusual for financial transactions to take place virtually with …

The BlockChain (BC) is considered as one of the most exciting developments in information
and communication technology in the past decade and is widely known as a crypto intensive …

Distributed energy resources (DERs), which are characterized by small‐scale power
generation technologies to provide an enhancement of the traditional power system, have …

Recently Kuesters et al proposed two new methods using ProVerif for analyzing
cryptographic protocols with Exclusive-Or and Diffie-Hellman properties. Some tools, for …

There exist several automatic verification tools of cryptographic protocols, but only few of
them are able to check protocols in presence of algebraic properties. Most of these tools are …

The emerging e-commerce systems open the way for several applications to be viable from
off-line to online system. E-Auction is an effective ecommerce system that allows bidders …

Electronic sealed-bid auction schemes usually have a common drawback, the third party
(auction host) can conspire with a malicious bidder to leak all bidding prices before the …

This work studies the English auction protocol, which comprises three interactive parties—
the Registration Manager, the Auction Manager and the Bidder. The registration manager …

With the advances of network technology, electronic auctions have become increasingly
popular in recent years. In 2012, **ong proposed a bidder-anonymous auction scheme …