Imagen de Portada

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Njungle, Nges Brian, Kayang, Edwin P., Paul, Mishel J., Kinsy, Michel A.
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security Programming Languages I.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Prismo: A Decision Support System for Privacy-Preserving ML Framework Selection
por: Njungle, Nges Brian, et al.
Publicado: (2025)

Towards Deep Encrypted Training: Low-Latency, Memory-Efficient, and High-Throughput Inference for Privacy-Preserving Neural Networks
por: Njungle, Nges Brian, et al.
Publicado: (2026)

Activate Me!: Designing Efficient Activation Functions for Privacy-Preserving Machine Learning with Fully Homomorphic Encryption
por: Njungle, Nges Brian, et al.
Publicado: (2025)

PrivSpike: Employing Homomorphic Encryption for Private Inference of Deep Spiking Neural Networks
por: Njungle, Nges Brian, et al.
Publicado: (2025)

FHEON: A Configurable Framework for Developing Privacy-Preserving Neural Networks Using Homomorphic Encryption
por: Njungle, Nges Brian, et al.
Publicado: (2025)

Gotta Hash 'Em All! Speeding Up Hash Functions for Zero-Knowledge Proof Applications
por: Sheybani, Nojan, et al.
Publicado: (2025)

AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge
por: Ahmed, Anees, et al.
Publicado: (2024)

Language-Based Security for Low-Level MPC
por: Skalka, Christian, et al.
Publicado: (2024)

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

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
por: Zhang, Yiyu, et al.
Publicado: (2024)

Automated Formal Verification of a Software Fault Isolation System
por: Sotoudeh, Matthew, et al.
Publicado: (2025)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
por: Ball, Thomas, et al.
Publicado: (2024)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
por: Lindner, Andreas, et al.
Publicado: (2023)

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

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

Gradual Verification for Smart Contracts
por: Sun, Haojia, et al.
Publicado: (2023)

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

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
por: Zhang, Naifeng, et al.
Publicado: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
por: Chen, Zhiyang, et al.
Publicado: (2024)

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

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

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

Verification of Neural Networks' Global Robustness
por: Kabaha, Anan, et al.
Publicado: (2024)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
por: Haddad, Rami, et al.
Publicado: (2022)

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

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

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
por: Zou, Yihao, et al.
Publicado: (2026)

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

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
por: Arquint, Linard, et al.
Publicado: (2025)

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
por: Menon, Anand, et al.
Publicado: (2025)

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

Zero-Knowledge Proof Frameworks: A Systematic Survey
por: Sheybani, Nojan, et al.
Publicado: (2025)

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

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
por: Zhang, Yifan, et al.
Publicado: (2025)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
por: Garby, Zac, et al.
Publicado: (2026)

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

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

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

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

sudoLLM: On Multi-role Alignment of Language Models
por: Saha, Soumadeep, et al.
Publicado: (2025)