Copertina

Towards Efficient Verification of Constant-Time Cryptographic Implementations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cai, Luwei, Song, Fu, Chen, Taolue
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
di: Zhang, Jiashuo, et al.
Pubblicazione: (2024)

Mutation-based Evaluation of Cryptographic API Misuse Detectors
di: Ami, Amit Seal, et al.
Pubblicazione: (2021)

Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
di: Yang, Guang, et al.
Pubblicazione: (2024)

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
di: Elsayed, Mohamed, et al.
Pubblicazione: (2026)

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
di: Yang, Xi, et al.
Pubblicazione: (2026)

Architecture-Derived CBOMs for Cryptographic Migration: A Security-Aware Architecture Tradeoff Method
di: Hirsch, Eduard, et al.
Pubblicazione: (2026)

Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp
di: Zhang, Lei, et al.
Pubblicazione: (2026)

Blockchain-enhanced Integrity Verification in Educational Content Assessment Platform: A Lightweight and Cost-Efficient Approach
di: Bayan, Talgar, et al.
Pubblicazione: (2024)

Automated Attack Synthesis for Constant Product Market Makers
di: Han, Sujin, et al.
Pubblicazione: (2024)

Towards Context-aware Mobile Privacy Notice: Implementation of A Deployable Contextual Privacy Policies Generator
di: Gong, Haochen, et al.
Pubblicazione: (2025)

INSTILLER: Towards Efficient and Realistic RTL Fuzzing
di: Zhang, Gen, et al.
Pubblicazione: (2024)

FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection
di: Song, Shiwen, et al.
Pubblicazione: (2025)

Model-Checking the Implementation of Consent
di: Pardo, Raúl, et al.
Pubblicazione: (2024)

Natural Language based Specification and Verification
di: Li, Zhaorui, et al.
Pubblicazione: (2026)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
di: Liu, Yuwei, et al.
Pubblicazione: (2026)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
di: Wang, Yishun, et al.
Pubblicazione: (2026)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
di: Huang, Changze, et al.
Pubblicazione: (2025)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
di: Sun, Tianle, et al.
Pubblicazione: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
di: Mohamad, Mazen
Pubblicazione: (2025)

MalLoc: Toward Fine-grained Android Malicious Payload Localization via LLMs
di: Sun, Tiezhu, et al.
Pubblicazione: (2025)

FDI: Attack Neural Code Generation Systems through User Feedback Channel
di: Sun, Zhensu, et al.
Pubblicazione: (2024)

Enterprise Identity Integration for AI-Assisted Developer Services: Architecture, Implementation, and Case Study
di: Chinthareddy, Manideep Reddy
Pubblicazione: (2026)

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
di: Schneider, Simon, et al.
Pubblicazione: (2025)

SolPhishHunter: Towards Detecting and Understanding Phishing on Solana
di: Li, Ziwei, et al.
Pubblicazione: (2025)

VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection
di: Wen, Xin-Cheng, et al.
Pubblicazione: (2024)

Towards Understanding and Characterizing Vulnerabilities in Intelligent Connected Vehicles through Real-World Exploits
di: Wang, Yuelin, et al.
Pubblicazione: (2026)

SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
di: Lingxiang, Wang, et al.
Pubblicazione: (2025)

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space
di: Chen, Chuyang, et al.
Pubblicazione: (2025)

Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments
di: Zheng, Xinyi, et al.
Pubblicazione: (2024)

Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
di: Zhao, Jian, et al.
Pubblicazione: (2024)

Towards a Benchmark for Dependency Decision-Making
di: Singla, Tanmay, et al.
Pubblicazione: (2026)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
di: Ma, Yujie, et al.
Pubblicazione: (2026)

Towards the Systematic Testing of Regular Expression Engines
di: Çakar, Berk, et al.
Pubblicazione: (2026)

Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
di: Zhang, Fangyuan, et al.
Pubblicazione: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
di: He, Ningyu, et al.
Pubblicazione: (2024)

Toward an Android Static Analysis Approach for Data Protection
di: Khedkar, Mugdha, et al.
Pubblicazione: (2024)

Towards Trust Proof for Secure Confidential Virtual Machines
di: Mao, Jingkai, et al.
Pubblicazione: (2024)

An ontological lens on attack trees: Toward adequacy and interoperability
di: Oliveira, Ítalo, et al.
Pubblicazione: (2025)

An Efficient Lightweight Blockchain for Decentralized IoT
di: Tarzjani, Faezeh Dehghan, et al.
Pubblicazione: (2025)