On the public citation graph
Verification of a Cryptographic Primitive
0 signed · 176 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11541868_21openalex-snapshot
Formal Verification of a SHA-1 Circuit Core Using ACL2
inferredcites →https://doi.org/10.1007/11591191_36openalex-snapshot
Functional Correctness Proofs of Encryption Algorithms
inferredcites →https://doi.org/10.1007/11818175_36openalex-snapshot
New Proofs for NMAC and HMAC: Security Without Collision-Resistance
inferredcites →https://doi.org/10.1007/3-540-68697-5_1openalex-snapshot
Keying Hash Functions for Message Authentication
inferredcites →https://doi.org/10.1007/978-3-319-66107-0openalex-snapshot
Interactive Theorem Proving
inferredcites →https://doi.org/10.1007/978-3-642-25379-9_12openalex-snapshot
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
inferredcites →https://doi.org/10.1007/978-3-642-25379-9_13openalex-snapshot
Modular SMT Proofs for Fast Reflexive Checking Inside Coq
inferredcites →https://doi.org/10.1007/978-3-642-32347-8_8openalex-snapshot
Bridging the Gap: Automatic Verified Abstraction of C
inferredcites →https://doi.org/10.1007/978-3-642-40084-1openalex-snapshot
Advances in Cryptology – CRYPTO 2013
inferredcites →https://doi.org/10.1007/978-3-662-44371-2_7openalex-snapshot
The Exact PRF-Security of NMAC and HMAC
inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot
A Formally Verified Compiler Back-end
inferredcites →https://doi.org/10.1017/cbo9781107256552openalex-snapshot
Program Logics for Certified Compilers
inferredcites →https://doi.org/10.1109/csf.2012.14openalex-snapshot
Verified Security of Merkle-Damgård
inferredcites →https://doi.org/10.1109/fmcad.2008.ecp.10openalex-snapshot
Automatic Formal Verification of Block Cipher Implementations
inferredcites →https://doi.org/10.1109/fmcad.2009.5351121openalex-snapshot
Hardware/software co-verification of cryptographic algorithms using Cryptol
inferredcites →https://doi.org/10.1109/fmcad14388.2008openalex-snapshot
2008 Formal Methods in Computer-Aided Design
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2491956.2462183openalex-snapshot
Translation validation for a verified OS kernel
inferredcites →https://doi.org/10.1145/2499370.2462183openalex-snapshot
Translation validation for a verified OS kernel
inferredcites →https://doi.org/10.1145/2508859.2516652openalex-snapshot
Certified computer-aided cryptography
inferredcites →https://doi.org/10.1145/2517349.2522728openalex-snapshot
Towards optimization-safe systems
inferredcites →https://doi.org/10.1145/2594291.2594301openalex-snapshot
End-to-end verification of stack-space bounds for C programs
inferredcites →https://doi.org/10.1145/888251.888276openalex-snapshot
Foundational proof checkers with small witnesses
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/dac.4646openalex-snapshot
Random forest classifier‐based safe and reliable routing for opportunistic IoT networks
inferred← citeshttps://doi.org/10.1007/978-3-030-02807-7_9openalex-snapshot
Formal Verification for Security in IoT Devices
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_34openalex-snapshot
Abstraction and Subsumption in Modular Verification of C Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-34647-8_14openalex-snapshot
Modeling and Machine-Checking Bump-in-the-Wire Security for Industrial Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-60245-1_33openalex-snapshot
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_7openalex-snapshot
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language
inferred← citeshttps://doi.org/10.1007/978-3-030-65277-7_6openalex-snapshot
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-13188-2_14openalex-snapshot
Verified Erasure Correction in Coq with MathComp and VST
inferred← citeshttps://doi.org/10.1007/978-3-031-37703-7_11openalex-snapshot
CoqCryptoLine: A Verified Model Checker with Certified Results
inferred← citeshttps://doi.org/10.1007/978-3-031-37709-9_13openalex-snapshot
Automated Verification of Correctness for Masked Arithmetic Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-66064-1_4openalex-snapshot
Specifying and Verifying a Real-World Packet Error-Correction System
inferred← citeshttps://doi.org/10.1007/978-3-031-70903-6_19openalex-snapshot
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking
inferred← citeshttps://doi.org/10.1007/978-3-031-92854-3_11openalex-snapshot
A Comprehensive Digital Signature System for Cross-Platform Document Authentication and Security
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_8openalex-snapshot
A HOL Theorem Proving Interface for C
inferred← citeshttps://doi.org/10.1007/978-3-032-31130-6_19openalex-snapshot
Security Modeling of Platform-Agnostic Electronic Know Your Customer (e-KYC) System
inferred← citeshttps://doi.org/10.1007/978-3-319-48869-1_5openalex-snapshot
Constructing Semantic Models of Programs with the Software Analysis Workbench
inferred← citeshttps://doi.org/10.1007/978-3-319-64021-1_3openalex-snapshot
Overview of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-319-66402-6_16openalex-snapshot
Verifying Constant-Time Implementations by Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-319-77935-5_3openalex-snapshot
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C
inferred← citeshttps://doi.org/10.1007/978-981-15-8025-3_47openalex-snapshot
Blockchain Technology: Architecture, Challenges, and Applications
inferred← citeshttps://doi.org/10.1007/978-981-16-4284-5_42openalex-snapshot
Security Concerns in IoT Systems and Its Blockchain Solutions
inferred← citeshttps://doi.org/10.1007/s10703-020-00353-1openalex-snapshot
Abstraction and subsumption in modular verification of C programs
inferred← citeshttps://doi.org/10.1007/s10817-018-9457-5openalex-snapshot
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
inferred← citeshttps://doi.org/10.1007/s10817-020-09548-xopenalex-snapshot
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory
inferred← citeshttps://doi.org/10.1007/s10845-024-02334-1openalex-snapshot
BCTMSSF: a blockchain consensus-based traceability method for supply chain in smart factory
inferred← citeshttps://doi.org/10.1007/s11042-022-14000-wopenalex-snapshot
A robust and secure immensely random GAN based image encryption mechanism
inferred← citeshttps://doi.org/10.1007/s40012-024-00398-1openalex-snapshot
A novel encryption scheme for secure communication based on RNA
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103095openalex-snapshot
Design and implementation of trusted boot based on a new trusted computing dual-architecture
inferred← citeshttps://doi.org/10.1016/j.csbj.2024.11.036openalex-snapshot
Self-sovereign management scheme of personal health record with personal data store and decentralized identifier
inferred← citeshttps://doi.org/10.1017/s0956796822000090openalex-snapshot
ANF preserves dependent types up to extensional equality
inferred← citeshttps://doi.org/10.1088/1742-6596/2083/4/042042openalex-snapshot
Computer Prediction Model for Equipment Maintenance Using Cloud Computing and Secure Data-sharing
inferred← citeshttps://doi.org/10.1098/rsta.2016.0331openalex-snapshot
Position paper: the science of deep specification
inferred← citeshttps://doi.org/10.1109/access.2020.3020866openalex-snapshot
Utilizing Convolutional Neural Networks for Image Classification and Securing Mobility of People With Physical and Mental Disabilities in Cloud Systems
inferred← citeshttps://doi.org/10.1109/access.2025.3539584openalex-snapshot
A Formal Verification Library Design for Behavioral Refinement of CompCert Clight
inferred← citeshttps://doi.org/10.1109/ase.2019.00058openalex-snapshot
Verifying Arithmetic in Cryptographic C Programs
inferred← citeshttps://doi.org/10.1109/ccece58730.2023.10288834openalex-snapshot
DedupBench: A Benchmarking Tool for Data Chunking Techniques
inferred← citeshttps://doi.org/10.1109/cgo.2019.8661180openalex-snapshot
Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries
inferred← citeshttps://doi.org/10.1109/conisoft63288.2024.00036openalex-snapshot
Secure Cryptography Usage in Software Development: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/csf.2016.26openalex-snapshot
A Certified Compiler for Verifiable Computing
inferred← citeshttps://doi.org/10.1109/csf.2016.28openalex-snapshot
A Verified Extensible Library of Elliptic Curves
inferred← citeshttps://doi.org/10.1109/csf.2016.8openalex-snapshot
Modular Verification for Computer Security
inferred← citeshttps://doi.org/10.1109/csf.2018.00014openalex-snapshot
Formal Security Proof of CMAC and Its Variants
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00023openalex-snapshot
A Coq proof of the correctness of X25519 in TweetNaCl
inferred← citeshttps://doi.org/10.1109/csnt.2017.8418512openalex-snapshot
Design and implementation of an efficient tool to verify integrity of files uploaded to cloud storage
inferred← citeshttps://doi.org/10.1109/eaic66483.2025.11101436openalex-snapshot
Exploring Data Protection in Mist Computing: Risks and Resilient Solutions
inferred← citeshttps://doi.org/10.1109/epce58798.2023.00039openalex-snapshot
Research on Industrial Internet Data Security Technology based on Formal Verification of SM4
inferred← citeshttps://doi.org/10.1109/icccn49398.2020.9209656openalex-snapshot
User-Friendly Design of Cryptographically-Enforced Hierarchical Role-based Access Control Models
inferred← citeshttps://doi.org/10.1109/iccece51280.2021.9342494openalex-snapshot
Identity Authentication Based on Domestic Commercial Cryptography with Blockchain in the Heterogeneous Alliance Network
inferred← citeshttps://doi.org/10.1109/icecet65726.2026.11633051openalex-snapshot
Enhanced Academic Certificate Management System Using Steganography and Dual Blockchain
inferred← citeshttps://doi.org/10.1109/iciem51511.2021.9445302openalex-snapshot
Secure Framework for Cloud based E-Education using Deep Neural Networks
inferred← citeshttps://doi.org/10.1109/icsss49621.2020.9201967openalex-snapshot
An Encryption-then-Compression Scheme Using Autoencoder Based Image Compression for Color Images
inferred← citeshttps://doi.org/10.1109/iros55552.2023.10341719openalex-snapshot
FogROS2-SGC: A ROS2 Cloud Robotics Platform for Secure Global Connectivity
inferred← citeshttps://doi.org/10.1109/jiot.2025.3633212openalex-snapshot
Securing Electric Vehicle Systems via AI and Blockchains: A Survey
inferred← citeshttps://doi.org/10.1109/jiot.2026.3695537openalex-snapshot
Securing the Sky: A Lightweight Authentication Protocol for Emergency UAVs
inferred← citeshttps://doi.org/10.1109/msp.2015.112openalex-snapshot
High-Assurance Cryptography: Cryptographic Software We Can Trust
inferred← citeshttps://doi.org/10.1109/msp.2016.125openalex-snapshot
Automated Verification of Real-World Cryptographic Implementations
inferred← citeshttps://doi.org/10.1109/soscyps.2016.7580000openalex-snapshot
Towards foundational verification of cyber-physical systems
inferred← citeshttps://doi.org/10.1109/sp.2019.00064openalex-snapshot
Formally Verified Cryptographic Web Applications in WebAssembly
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00028openalex-snapshot
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00114openalex-snapshot
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00214openalex-snapshot
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
inferred← citeshttps://doi.org/10.1109/tcad.2019.2939330openalex-snapshot
The Software/Hardware Co-Design and Implementation of SM2/3/4 Encryption/Decryption and Digital Signature System
inferred← citeshttps://doi.org/10.1109/tifs.2026.3671126openalex-snapshot
A Fine-Tuning Data Recovery Attack on Generative Language Models via Backdooring
inferred← citeshttps://doi.org/10.1109/tmm.2024.3521757openalex-snapshot
AES-AUDIO: An Encryption Scheme for Audio Supporting Differentiated Decryption
inferred← citeshttps://doi.org/10.1109/tnse.2023.3309988openalex-snapshot
Privacy-Preserving Multi-Label Propagation Based on Federated Learning
inferred← citeshttps://doi.org/10.1109/tpds.2026.3660793openalex-snapshot
Vectorized Sequence-Based Chunking for Data Deduplication
inferred← citeshttps://doi.org/10.1109/tse.2025.3553283openalex-snapshot
An Empirical Study on Meta Virtual Reality Applications: Security and Privacy Perspectives
inferred← citeshttps://doi.org/10.1142/s242486221850015xopenalex-snapshot
Blockchain: A Survey on Functions, Applications and Open Issues
inferred← citeshttps://doi.org/10.1145/2854065.2854066openalex-snapshot
A unified Coq framework for verifying C programs with floating-point computations
inferred← citeshttps://doi.org/10.1145/2908080.2908109openalex-snapshot
Verified peephole optimizations for CompCert
inferred← citeshttps://doi.org/10.1145/2980983.2908109openalex-snapshot
Verified peephole optimizations for CompCert
inferred← citeshttps://doi.org/10.1145/2990299.2990318openalex-snapshot
Model-driven design & synthesis of the SHA-256 cryptographic hash function in ReWire
inferred← citeshttps://doi.org/10.1145/3110261openalex-snapshot
Verified low-level programming embedded in F*
inferred← citeshttps://doi.org/10.1145/3133956.3133974openalex-snapshot
Verified Correctness and Security of mbedTLS HMAC-DRBG
inferred← citeshttps://doi.org/10.1145/3133956.3134017openalex-snapshot
A Fast and Verified Software Stack for Secure Function Evaluation
inferred← citeshttps://doi.org/10.1145/3133956.3134043openalex-snapshot
HACL*: A Verified Modern Cryptographic Library
inferred← citeshttps://doi.org/10.1145/3133956.3134076openalex-snapshot
Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs
inferred← citeshttps://doi.org/10.1145/3158110openalex-snapshot
Type-preserving CPS translation of Σ and Π types is not not possible
inferred← citeshttps://doi.org/10.1145/3167089openalex-snapshot
Œuf: minimizing the Coq extraction TCB
inferred← citeshttps://doi.org/10.1145/3176245.3167089openalex-snapshot
Œuf: minimizing the Coq extraction TCB
inferred← citeshttps://doi.org/10.1145/3183440.3183493openalex-snapshot
A regression proof selection tool for coq
inferred← citeshttps://doi.org/10.1145/3192366.3192372openalex-snapshot
Typed closure conversion for the calculus of constructions
inferred← citeshttps://doi.org/10.1145/3213846.3213877openalex-snapshot
piCoq: parallel regression proving for large-scale verification projects
inferred← citeshttps://doi.org/10.1145/3224205openalex-snapshot
An Algorithmic Approach to Formally Verify an ECC Library
inferred← citeshttps://doi.org/10.1145/3296979.3192372openalex-snapshot
Typed closure conversion for the calculus of constructions
inferred← citeshttps://doi.org/10.1145/3314221.3314605openalex-snapshot
FaCT: a DSL for timing-sensitive computation
inferred← citeshttps://doi.org/10.1145/3319535.3354199openalex-snapshot
Signed Cryptographic Program Verification with Typed CryptoLine
inferred← citeshttps://doi.org/10.1145/3319535.3363211openalex-snapshot
Machine-Checked Proofs for Cryptographic Standards
inferred← citeshttps://doi.org/10.1145/3360562openalex-snapshot
DeepSEA: a language for certified system software
inferred← citeshttps://doi.org/10.1145/3371075openalex-snapshot
Formal verification of a constant-time preserving C compiler
inferred← citeshttps://doi.org/10.1145/3372297.3423352openalex-snapshot
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)
inferred← citeshttps://doi.org/10.1145/3394450.3397466openalex-snapshot
Generating correctness proofs with neural networks
inferred← citeshttps://doi.org/10.1145/3459960.3461559openalex-snapshot
File Spooler and Copy System for Fast Data Transfer
inferred← citeshttps://doi.org/10.1145/3473591openalex-snapshot
Compositional optimizations for CertiCoq
inferred← citeshttps://doi.org/10.1145/3489449.3489994openalex-snapshot
A Pattern for Proof of Work Consensus Algorithm in Blockchain
inferred← citeshttps://doi.org/10.1145/3491258openalex-snapshot
Scrybe: A Secure Audit Trail for Clinical Trial Data Fusion
inferred← citeshttps://doi.org/10.1145/3497775.3503951openalex-snapshot
Coq’s vibrant ecosystem for verification engineering (invited talk)
inferred← citeshttps://doi.org/10.1145/3571202openalex-snapshot
Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler
inferred← citeshttps://doi.org/10.1145/3576915.3616603openalex-snapshot
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares
inferred← citeshttps://doi.org/10.1145/3597503.3639082openalex-snapshot
An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
inferred← citeshttps://doi.org/10.1145/3607844openalex-snapshot
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
inferred← citeshttps://doi.org/10.1145/3705593openalex-snapshot
Formal Verification of Just-in-Time Compilation
inferred← citeshttps://doi.org/10.1145/3705593.3705596openalex-snapshot
Background on Just-in-Time Compilation
inferred← citeshttps://doi.org/10.1145/3705593.3705597openalex-snapshot
Background on the CompCert Compiler
inferred← citeshttps://doi.org/10.1145/3705593.3705598openalex-snapshot
Designing Formally Verified JITs
inferred← citeshttps://doi.org/10.1145/3705593.3705599openalex-snapshot
Formally Verified Speculative Optimizations
inferred← citeshttps://doi.org/10.1145/3705593.3705600openalex-snapshot
Formal Verification of Impure Coq JITs
inferred← citeshttps://doi.org/10.1145/3705593.3705601openalex-snapshot
Formal Verification of a JIT Backend Compiler
inferred← citeshttps://doi.org/10.1145/3705593.3705604openalex-snapshot
Relating the Developments to the Book
inferred← citeshttps://doi.org/10.1145/3719027.3744814openalex-snapshot
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
inferred← citeshttps://doi.org/10.1145/3726302.3730311openalex-snapshot
U-Sticker: A Large-Scale Multi-Domain User Sticker Dataset for Retrieval and Personalization
inferred← citeshttps://doi.org/10.1145/3803817.3803828openalex-snapshot
Modeling and Mitigating Security and Privacy Threats in APs
inferred← citeshttps://doi.org/10.1145/3805702openalex-snapshot
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
inferred← citeshttps://doi.org/10.1155/2019/3594534openalex-snapshot
Entropy-Based Block Scrambling Image Encryption Using DES Structure and Chaotic Systems
inferred← citeshttps://doi.org/10.1186/s42162-022-00199-3openalex-snapshot
Enabling end-to-end digital carbon emission tracing with shielded NFTs
inferred← citeshttps://doi.org/10.1364/oe.26.004710openalex-snapshot
Secure communications using nonlinear silicon photonic keys
inferred← citeshttps://doi.org/10.14419/ijet.v7i2.4.10040openalex-snapshot
A Novel approach of data deduplication for distributed storage
inferred← citeshttps://doi.org/10.15587/2706-5448.2023.286472openalex-snapshot
Development of an algorithm for code clone detection in source code based on abstract syntax tree
inferred← citeshttps://doi.org/10.18297/etd/3271openalex-snapshot
Formally designing and implementing cyber security mechanisms in industrial control networks.
inferred← citeshttps://doi.org/10.23919/fmcad.2019.8894248openalex-snapshot
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity
inferred← citeshttps://doi.org/10.2514/6.2026-2666openalex-snapshot
A Provenance Chain for Decentralized Data Ecosystems in Space Missions
inferred← citeshttps://doi.org/10.26190/unsworks/17396openalex-snapshot
Automated proof-producing abstraction of C code
inferred← citeshttps://doi.org/10.26634/jcc.7.1.16670openalex-snapshot
Trusted Hybrid Multifactor Authentication For Cloud Users
inferred← citeshttps://doi.org/10.26634/jfet.17.1.17457openalex-snapshot
Trusted Authentication Framework For E-Education Using Deep Neural Networks
inferred← citeshttps://doi.org/10.3233/jcs-181136openalex-snapshot
Verifying constant-time implementations by abstract interpretation
inferred← citeshttps://doi.org/10.3390/fi17090398openalex-snapshot
SwiftKV: A Metadata Indexing Scheme Integrating LSM-Tree and Learned Index for Distributed KV Stores
inferred← citeshttps://doi.org/10.3390/iot2010005openalex-snapshot
Post-Quantum Cryptosystems for Internet-of-Things: A Survey on Lattice-Based Algorithms
inferred← citeshttps://doi.org/10.3390/s22249750openalex-snapshot
Simulation Method for Blockchain Systems with a Public Chain
inferred← citeshttps://doi.org/10.3390/sym9090193openalex-snapshot
M2M Security Technology of CPS Based on Blockchains
inferred← citeshttps://doi.org/10.4218/etrij.2022-0181openalex-snapshot
Dynamic ID randomization for user privacy in mobile network
inferred← citeshttps://doi.org/10.5555/3314872.3314880openalex-snapshot
Automatic equivalence checking for assembly implementations of cryptography libraries
inferred← citeshttps://doi.org/10.5815/ijcnis.2016.04.06openalex-snapshot
Formal Verification of NTRUEncrypt Scheme
inferred← citeshttps://doi.org/10.70675/88de893eza550z4ba2za7e5z1f929936f6b5openalex-snapshot
Secure, fast and verified cryptographic applications : a scalable approach
inferred← citeshttps://doi.org/10.70675/bfb1bf73z45cez4651z9900z881984e8c420openalex-snapshot
Formal Verification of Just-in-Time Compilation
inferred← citeshttps://doi.org/10.70675/c041309azf0faz4ae5za91fz3eb6c96c0d82openalex-snapshot
Verifying constant-time implementations in a verified compilation toolchain
inferred← citeshttps://doi.org/10.70675/f98d24a2z5c12z4e55z9beaz640d83f7b9bdopenalex-snapshot
A formalization of elliptic curves for cryptography
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.