We specialize in the full lifecycle of post-quantum secure system development, from design, validation, to deployment.

  • The team investigates quantum-resilient computing and cryptographic systems, examines potential vulnerabilities, enhances algorithms for efficient hardware deployment, and conducts formal cryptanalysis.

  • Post-Quantum Cryptography

  • Post-Quantum Hardware Library

  • Lattice-Based Cryptography

  • Code-Based Cryptography

  • Cryptographic Agility

  • Homomorphic Encryption Hardware

  • Zero Knowledge Proof

  • Post-Quantum Transition

  • Post-Quantum Cryptosystems Training

.

Publications

[W3] L. Harrison and M. A. Kinsy: “HERISCV: Homomorphic-Encryption Enabled RISC-V Candidate Architecture”. International Workshop on Secure RISC-V (SECRISC-V) Architecture Design Exploration, 2022.[PDF] [bib]

[ B1 ] M. A. Kinsy: “Post-quantum Cryptographic Hardware Primitives”, In: Jajodia S., Samarati P., Yung M. (eds) Encyclopedia of Cryptography, Security and Privacy. Springer, Berlin, Heidelberg, 2021. [Paper] [BibTex]

[C3] R. Agrawal, L. Bu, and M. A. Kinsy: “Quantum-Proof Lightweight McEliece Cryptosystem Co-processor Design”. In the 38th IEEE International Conference on Computer Design (ICCD), 2020. [Best Paper in the Test, Verification and Security Tack][PDF] [bib]

[C2] R. Agrawal, L. Bu, and M. A. Kinsy: “A Post-Quantum Secure Discrete Gaussian Noise Sampler”. In the IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2020.[PDF] [bib]

[C1] R. Agrawal, L. Bu, A. Ehret and M. Kinsy: “Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives”. In the International conference on Field Programmable Logic and Applications (FPL), 2019.[PDF] [bib]

[W2] L. Bu, R. Agrawal, H. Cheng and M. A. Kinsy: “Post-Quantum Cryptographic Hardware Primitives”. Boston Area Architecture 2019 Workshop (BARC19), 2019.[PDF] [bib]

[W1] L. Bu, R. Agrawal, H. Cheng and M. A. Kinsy: “A Lightweight McEliece Cryptosystem Co-Processor Design”. Boston Area Architecture 2019 Workshop (BARC19), 2019.[PDF] [bib]

Next-Generation Cryptosystems Design

Authors

Image

PQC Secure is a collaborative initiative between the cryptography team at Secure Micro Technologies and the Secure, Trusted, and Assured Microelectronics (STAM) Center at Arizona State University’s Ira A. Fulton Schools of Engineering.

Navigations

Copyright ©. All Rights Reserved — Secure Micro Technologies