PLEDGE: An IoT-oriented Proof-of-Honesty based Blockchain Consensus Protocol The existing lottery-based consensus algorithms, such as Proof-of-Work, and Proof-of-Stake, are mostly used for ...

A security-oriented program transformation maps programs to security-augmented programs, i.e. it introduces a protection mechanism to make programs more secure. Our previous work defined ...