On the public citation graph
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
0 signed · 52 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/11502760_3openalex-snapshot
The Poly1305-AES Message-Authentication Code
inferredcites →https://doi.org/10.1007/11745853_14openalex-snapshot
Curve25519: New Diffie-Hellman Speed Records
inferredcites →https://doi.org/10.1007/978-3-030-21568-2_14openalex-snapshot
Faster Multiplication in $$\mathbb {Z}_{2^m}[x]$$ on Cortex-M4 to Speed up NIST PQC Candidates
inferredcites →https://doi.org/10.1007/978-3-030-38471-5_28openalex-snapshot
Towards Practical GGM-Based PRF from (Module-)Learning-with-Rounding
inferredcites →https://doi.org/10.1007/978-3-030-63618-0_7openalex-snapshot
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language
inferredcites →https://doi.org/10.1007/978-3-319-31301-6_8openalex-snapshot
Sandy2x: New Curve25519 Speed Records
inferredcites →https://doi.org/10.1007/978-3-319-48965-0_36openalex-snapshot
When Constant-Time Source Yields Variable-Time Binary: Exploiting Curve25519-donna Built with MSVC 2015
inferredcites →https://doi.org/10.1007/978-3-319-72565-9_12openalex-snapshot
NTRU Prime: Reducing Attack Surface at Low Cost
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-37036-6_8openalex-snapshot
Why3 — Where Programs Meet Provers
inferredcites →https://doi.org/10.1007/978-3-642-40349-1_15openalex-snapshot
McBits: Fast Constant-Time Code-Based Cryptography
inferredcites →https://doi.org/10.1007/978-3-662-44709-3_18openalex-snapshot
Curve41417: Karatsuba Revisited
inferredcites →https://doi.org/10.1007/978-3-662-45611-8_17openalex-snapshot
Kummer Strikes Back: New DH Speed Records
inferredcites →https://doi.org/10.1007/978-3-662-53140-2_14openalex-snapshot
QcBits: Constant-Time Small-Key Code-Based Cryptography
inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot
A Formally Verified Compiler Back-end
inferredcites →https://doi.org/10.1007/s13389-016-0141-6openalex-snapshot
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
inferredcites →https://doi.org/10.1016/s0950-5849(01)00196-3openalex-snapshot
Software engineering using metaheuristic innovative algorithms: workshop report
inferredcites →https://doi.org/10.1109/ase.2019.00060openalex-snapshot
Get Rid of Inline Assembly through Verification-Oriented Lifting
inferredcites →https://doi.org/10.1109/csf.2018.00031openalex-snapshot
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”
inferredcites →https://doi.org/10.1109/sp.2017.26openalex-snapshot
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
inferredcites →https://doi.org/10.1109/tevc.2017.2693219openalex-snapshot
Genetic Improvement of Software: A Comprehensive Survey
inferredcites →https://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferredcites →https://doi.org/10.1145/1168918.1168906openalex-snapshot
Automatic generation of peephole superoptimizers
inferredcites →https://doi.org/10.1145/2499370.2462183openalex-snapshot
Translation validation for a verified OS kernel
inferredcites →https://doi.org/10.1145/2544173.2509509openalex-snapshot
Data-driven equivalence checking
inferredcites →https://doi.org/10.1145/2660267.2660370openalex-snapshot
Verifying Curve25519 Software
inferredcites →https://doi.org/10.1145/2666356.2594302openalex-snapshot
Stochastic optimization of floating-point programs with tunable precision
inferredcites →https://doi.org/10.1145/2858965.2814278openalex-snapshot
Conditionally correct superoptimization
inferredcites →https://doi.org/10.1145/3110261openalex-snapshot
Verified low-level programming embedded in F*
inferredcites →https://doi.org/10.1145/3133956.3134076openalex-snapshot
Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs
inferredcites →https://doi.org/10.1145/3290376openalex-snapshot
A verified, efficient embedding of a verifiable assembly language
inferredcites →https://doi.org/10.1145/3319535.3354199openalex-snapshot
Signed Cryptographic Program Verification with Typed CryptoLine
inferredcites →https://doi.org/10.1145/3385412.3386008openalex-snapshot
CacheQuery: learning replacement policies from hardware caches
inferredcites →https://doi.org/10.1145/3453483.3454030openalex-snapshot
Alive2: bounded translation validation for LLVM
inferredcites →https://doi.org/10.1145/36206.36194openalex-snapshot
Superoptimizer: a look at the smallest program
inferredcites →https://doi.org/10.1287/opre.2013.1231openalex-snapshot
Exploiting Erraticism in Search
inferredcites →https://doi.org/10.1609/aaai.v33i01.33012395openalex-snapshot
An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-56957-9_13openalex-snapshot
Genetic Improvement of Last Level Cache
inferred← citeshttps://doi.org/10.1007/978-3-031-70055-2_19openalex-snapshot
Multimodal Adaptive Graph Evolution for Program Synthesis
inferred← citeshttps://doi.org/10.1007/978-981-96-0668-9_15openalex-snapshot
Bridging Algorithmic Foundations with Information Security and Privacy: Set-k-Multicover Problem and Homomorphic Secret Sharing
inferred← citeshttps://doi.org/10.1007/s10515-024-00423-2openalex-snapshot
Comparing apples and oranges? Investigating the consistency of CPU and memory profiler results across multiple java versions
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/swc62898.2024.00084openalex-snapshot
A Method for Efficient Heterogeneous Parallel Compilation: A Cryptography Case Study
inferred← citeshttps://doi.org/10.1145/3672089.3672102openalex-snapshot
The 13th International Workshop on Genetic Improvement(GI @ ICSE 2024)
inferred← citeshttps://doi.org/10.1145/3708821.3736210openalex-snapshot
Enabling Microarchitectural Agility: Taking ML-KEM & ML-DSA from Cortex-M4 to M7 with SLOTHY
inferred← citeshttps://doi.org/10.1145/3712285.3759876openalex-snapshot
High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1145/3719027.3744814openalex-snapshot
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
inferred← citeshttps://doi.org/10.1145/3729316openalex-snapshot
Program Synthesis from Partial Traces
inferred← citeshttps://doi.org/10.46586/tches.v2024.i1.87-132openalex-snapshot
Fast and Clean: Auditable high-performance assembly via constraint solving
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.