Parallel algorithms development for programmable devices with application from cryptography

DOI10.1007/S10766-007-0046-1zbMATH Open1125.68424arXiv1904.05437OpenAlexW3100158692MaRDI QIDQ2460101FDOQ2460101

Issam W. Damaj

Publication date: 14 November 2007

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Abstract: Reconfigurable devices, such as Field Programmable Gate Arrays (FPGAs), have been witnessing a considerable increase in density. State-of-the-art FPGAs are complex hybrid devices that contain up to several millions of gates. Recently, research effort has been going into higher-level parallelization and hardware synthesis methodologies that can exploit such a programmable technology. In this paper, we explore the effectiveness of one such formal methodology in the design of parallel versions of the Serpent cryptographic algorithm. The suggested methodology adopts a functional programming notation for specifying algorithms and for reasoning about them. The specifications are realized through the use of a combination of function decomposition strategies, data refinement techniques, and off-the-shelf refinements based upon higher-order functions. The refinements are inspired by the operators of Communicating Sequential Processes (CSP) and map easily to programs in Handel-C (a hardware description language). In the presented research, we obtain several parallel Serpent implementations with different performance characteristics. The developed designs are tested under Celoxica's RC-1000 reconfigurable computer with its 2 million gates Virtex-E FPGA. Performance analysis and evaluation of these implementations are included.

Full work available at URL: https://arxiv.org/abs/1904.05437

Recommendations

• Synthezising the \(F8\) cryptographic algorithm for programmable devices
• scientific article; zbMATH DE number 2090643
• Design and implementation of cryptographic modules on FPGAs
• Publication:4502788
• scientific article; zbMATH DE number 1304122

zbMATH Keywords

formal modelsParallel algorithmsdata encryptionmethodologiesgate array

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Parallel algorithms in computer science (68W10) Computer system organization (68M99)

Cites Work

• Title not available (Why is that?)
• Serpent: A New Block Cipher Proposal
• Higher-level hardware synthesis.
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Synthezising the \(F8\) cryptographic algorithm for programmable devices
• Title not available (Why is that?)

Uses Software

• Haskell
• Handel-C
• Serpent
• muFP

This page was built for publication: Parallel algorithms development for programmable devices with application from cryptography

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2460101)