Research

My research is in the area of elliptic curve cryptography and related finite field arithmetic. I am interested in new cryptographic primitives, new algorithms in computational number theory, new protocols, efficient hardware and software implementations, and side-channel attacks and countermeasures.

Post-Quantum Cryptography

pqcPresence of quantum computers is a real threat against the security of currently used public key cryptographic algorithms such as RSA and Elliptic curve cryptography. Post-quantum cryptography refers to research on cryptographic primitives (usually public-key cryptosystems) that are not efficiently breakable using quantum computers. This research investigates design, analysis, and implementation of quantum-safe cryptographic algorithms. For more information refer to PQCryptARM. 

 

 

Finite Field Arithmetic

finite-fieldThe arithmetic operations in the finite fields over prime fields and binary extension fields are largely utilized for cryptographic algorithms such as point multiplication in elliptic curve cryptography, exponentiation-based cryptosystems, and coding. This research investigates efficient algorithms and efficient architectures for the computation of finite field operations.

 

 

Efficient Implementations of Cryptographic Primitives

smart-cards

Providing security for the emerging deeply-embedded systems utilized in sensitive applications is a problem whose practical mechanisms have not received sufficient attention by the research community and industry alike. This research investigates efficient implementations of elliptic curve cryptography on embedded devices with extremely-constrained environments.

 

 

 

Machine-Level Optimization for the Computation of Cryptographic Pairings

 

pairingHigh-speed computations of pairing-based cryptography is crucial for both desktop computers and embedded hand-held devices. This research investigates the machine-level and assembly optimizations for the computation of lower level finite field arithmetic used in pairings.

 

 

 

Highly-parallel scalable architectures for Cryptography Computations

Highly-phigh-performancearallel and fast computations of the widely-used cryptographic algorithm is required for high-performance applications. However, a challenge to cope with is that most applications for which parallelism is essential, have significantly large scale that is not commonly supported by today’s algorithms. Therefore, new algorithms are required to investigate parallelization.

The prospect of quantum computers is a threat against the security of currently used public key cryptographic algorithms. It has been widely accepted that, both public key cryptosystems including RSA and ECC will be broken by quantum computers employing certain algorithms. Although large-scale quantum computers do not yet exist, but the goal is to develop quantum-resistant cryptosystems in anticipation of quantum computers as most of the public key cryptography that is used on the Internet today is based on algorithms that are vulnerable to quantum attacks.

This project will explore isogenies on elliptic curves as a foundation for quantum-resistant cryptography. Isogeny computation is known to be difficult. This project will analyze newer and faster families of isogenies, which yield a faster solution to the problem of finding isogenies. It will exploit state-of-the-art techniques and employ new optimizations to speed up the computation in isogeny-based cryptography, including tower field and curve arithmetic. The performance of field arithmetic computation is strongly influenced by the processor micro-architecture features, the size of the operands, the algorithms, and programming techniques associated to them. This research will provide preliminary results on developing fast algorithms and architectures for post-quantum cryptographic computations suitable for emerging embedded systems.

For more information click HERE.

 

Publications

There is a need for secure and practical alternatives to existing cryptosystems which are resistant to attacks by quantum computers and can be deployed today with as little disruption as possible. Also, there is a growing concern that over the next decade, advances in technology will not be able to deliver the level of performance and growth they have in the past. Highly-parallel and fast computations of the quantum-resistant cryptographic algorithms such as isogeny-based cryptosystems are required for high-performance applications. However, a challenge to tackle is that most applications that lend themselves to being parallelized, a key attribute for high-performance computing, have very significant scale that is rarely seen in the original algorithms proposed. Therefore, new algorithms and techniques are required to investigate parallelization and scalability in all levels of computations for isogeny-based cryptography over supersingular elliptic curves.

The goal of this project is, through building on our preliminary work, to design a highly parallel and fast architecture for post-quantum cryptosystem in anticipation of the future construction of quantum computers. In particular, we aim to construct more efficient hardware architectures for finite field arithmetic and post-quantum protocols based on supersingular elliptic curve isogenies, which we believe offer several advantages compared to the other approaches for post-quantum cryptography.

Publications

The problem this project proposes to solve is significant and critical. Recent changes in usage models of emerging sensitive applications using deeply-embedded systems, e.g., implantable and wearable medical devices, Internet of nano-Things, and extremely-constrained smart cards, call for new and practical security mechanisms. Unfortunately, adopting the traditional security and cryptographic solutions often either fails in providing the required security properties or exhibits sub-optimal efficiency. In fact, in addition to exhibiting security, crypto-systems need to be feasible to utilize as well for applications in which performance and implementation metrics are bottleneck, without jeopardizing the security properties needed. Due to this order change in constraints, new cryptographic algorithms and architectures (and not those providing incremental performance and battery-life alleviations) are needed. The aforementioned is the motivation in this proposal whose outcome is envisioned enabling security for emerging usage models which outperforms current solutions.

In this project, the we provide coherent crypto-solutions feasibly applicable in practice through identifying three main levels of computations: finite field arithmetic, group operations, and point multiplication. The PIs also propose new approaches for computing point multiplication on binary elliptic curves using endomorphisms and differential addition chains. The outcome of this proposal is envisioned to protect emerging, sensitive infrastructures, for both resource-constrained and high-performance applications. The goal of this proposal is to establish a paradigm shift in security, reliability, and energy-efficacy of sensitive embedded systems.

Publications