ETRI-Knowledge Sharing Plaform

KOREAN
논문 검색
Type SCI
Year ~ Keyword

Detail

Journal Article Optimized Falcon Verify on Cortex-M4 for Post-Quantum secure UAV communications
Cited 1 time in scopus Download 155 time Share share facebook twitter linkedin kakaostory
Authors
JunHyeok Choi, SeungYong Yoon, Seog Chung Seo
Issue Date
2025-04
Citation
ICT EXPRESS, v.11, no.2, pp.281-286
ISSN
2405-9595
Publisher
ELSEVIER
Language
English
Type
Journal Article
DOI
https://dx.doi.org/10.1016/j.icte.2024.11.002
Abstract
Falcon, a NIST-standardized DSA, is ideal for broadcast-based communication like UAV due to its short key and signature. Since each UAV broadcasts the signed message to surrounding parties, UAVs must verify numerous signatures in flight. After migrating from ECDSA to Falcon for quantum security, it is crucial to maintain the same throughput of signature verification. However, existing Falcon implementations do not guarantee that throughput. We optimize Falcon Verify for Cortex-M4, enhancing NTT-based polynomial multiplication with signed representation and Plantard-based modular multiplication. We outperform the latest Falcon implementation in pqm4 by 64%/75% (resp. Falcon-512/Falcon-1024) in verification time, ensuring ECDSA-like throughput.
KSP Keywords
Cortex-M4, Modular multiplication, Polynomial multiplication, Signature Verification, post-quantum secure, quantum security
This work is distributed under the term of Creative Commons License (CCL)
(CC BY NC ND)
CC BY NC ND