Cover Image

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Naifeng, Franchetti, Franz
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware
by: Zhang, Naifeng, et al.
Published: (2025)

The Jasmin Compiler Preserves Cryptographic Security
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
by: Acay, Coşku, et al.
Published: (2024)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
by: Song, Shixin, et al.
Published: (2025)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
by: Saha, Akashdeep, et al.
Published: (2025)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
by: Chen, Hongyu, et al.
Published: (2026)

Using Modular Arithmetic Optimized Neural Networks To Crack Affine Cryptographic Schemes Efficiently
by: Stojanović, Vanja, et al.
Published: (2025)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
by: Andrici, Cezar-Constantin, et al.
Published: (2025)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
by: Braunsdorf, Oliver, et al.
Published: (2025)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
by: Zhang, Keyang, et al.
Published: (2026)

Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
by: Rabin, Rafiqul, et al.
Published: (2025)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
by: Liu, Shigang, et al.
Published: (2024)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
by: Noah, Amit Finkman, et al.
Published: (2024)

Filament: Denning-Style Information Flow Control for Rust
by: Ching, Jeffrey C., et al.
Published: (2026)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
by: Pereira, João C., et al.
Published: (2024)

Exploiting Code Symmetries for Learning Program Semantics
by: Pei, Kexin, et al.
Published: (2023)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
by: Tempel, Sören, et al.
Published: (2024)

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
by: Njungle, Nges Brian, et al.
Published: (2026)

How secure is AI-generated Code: A Large-Scale Comparison of Large Language Models
by: Tihanyi, Norbert, et al.
Published: (2024)

PermRust: A Token-based Permission System for Rust
by: Gehring, Lukas, et al.
Published: (2025)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
by: Thibault, Jérémy, et al.
Published: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
by: Hassanzadeh-Nazarabadi, Yahya, et al.
Published: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
by: Baumann, Jonathan, et al.
Published: (2025)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
by: Damodaran, Suresh K., et al.
Published: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
by: Ajorian, Ali
Published: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
by: Smaragdakis, Yannis, et al.
Published: (2025)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
by: Gollamudi, Tarakaram, et al.
Published: (2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
by: Li, Fang, et al.
Published: (2025)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
by: Sermchaiwong, Tanapoom, et al.
Published: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
by: Krishnan, Rahul, et al.
Published: (2025)

SMT-Boosted Security Types for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2025)

Nonmalleable Progress Leakage
by: Cecchetti, Ethan
Published: (2025)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
by: Ramananandro, Tahina, et al.
Published: (2025)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
by: Thomas, Morgan, et al.
Published: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
by: Pearce, Oliver, et al.
Published: (2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)