This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently ...

Abstract: Cryptographic two-party protocols are used ubiquitously in everyday life. While some of these protocols are easy to understand and implement (e.g., key exchange or transmission of encrypted ...

Abstract: Tiled architectures are emerging as an architectural platform that allows high levels of instruction level parallelism. Traditional compiler parallelization techniques are usually employed ...

Current public-key cryptographic algorithms such as RSA and ECC can be broken within minutes using quantum computers running Shor's Algorithm. Of particular concern is the "Harvest Now, Decrypt Later" ...

In secure communication systems, a Certificate Authority (CA) is responsible for issuing and managing certificates inside a Public Key Infrastructure (PKI). These certificates authenticate the ...

Cryptographic numbers, such as keys and tokens, play a crucial role in modern identity and access management systems. They are used to authenticate users, secure data, and enable secure communication ...