On the public citation graph
CT-wasm: type-driven secure cryptography for the web ecosystem
0 signed · 96 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.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/11502760_3openalex-snapshot
The Poly1305-AES Message-Authentication Code
inferredcites →https://doi.org/10.1007/11605805_1openalex-snapshot
Cache Attacks and Countermeasures: The Case of AES
inferredcites →https://doi.org/10.1007/11745853_14openalex-snapshot
Curve25519: New Diffie-Hellman Speed Records
inferredcites →https://doi.org/10.1007/978-3-319-03545-1_9openalex-snapshot
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
inferredcites →https://doi.org/10.1007/978-3-319-10082-1_4openalex-snapshot
Defensive JavaScript - Building and Verifying Secure Web Components.
inferredcites →https://doi.org/10.1007/978-3-319-66402-6_16openalex-snapshot
Verifying Constant-Time Implementations by Abstract Interpretation
inferredcites →https://doi.org/10.1007/978-3-540-68351-3_8openalex-snapshot
The Salsa20 Family of Stream Ciphers
inferredcites →https://doi.org/10.1007/978-3-642-29320-7_21openalex-snapshot
Type Checking Cryptography Implementations
inferredcites →https://doi.org/10.1007/978-3-642-35308-6_11openalex-snapshot
Proving Concurrent Noninterference
inferredcites →https://doi.org/10.1007/978-3-662-52993-5_9openalex-snapshot
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
inferredcites →https://doi.org/10.1016/j.ic.2008.12.007openalex-snapshot
Quantifying information leakage in process calculi
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/eurosp.2017.38openalex-snapshot
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/secdev.2017.24openalex-snapshot
FaCT: A Flexible, Constant-Time Programming Language
inferredcites →https://doi.org/10.1109/sp.2009.25openalex-snapshot
Native Client: A Sandbox for Portable, Untrusted x86 Native Code
inferredcites →https://doi.org/10.1109/sp.2015.44openalex-snapshot
On Subnormal Floating Point and Abnormal Timing
inferredcites →https://doi.org/10.1145/202529.202534openalex-snapshot
A simple graph-based intermediate representation
inferredcites →https://doi.org/10.1145/2660267.2660283openalex-snapshot
System-level Non-interference for Constant-time Cryptography
inferredcites →https://doi.org/10.1145/3062341.3062363openalex-snapshot
Bringing the web up to speed with WebAssembly
inferredcites →https://doi.org/10.1145/3133956.3134043openalex-snapshot
HACL*: A Verified Modern Cryptographic Library
inferredcites →https://doi.org/10.1145/3167082openalex-snapshot
Mechanising and verifying the WebAssembly specification
inferredcites →https://doi.org/10.1145/3182657openalex-snapshot
A Survey of Symbolic Execution Techniques
inferredcites →https://doi.org/10.1145/3243734.3243766openalex-snapshot
Towards Verified, Constant-time Floating Point Operations
inferredcites →https://doi.org/10.1145/3290390openalex-snapshot
CT-wasm: type-driven secure cryptography for the web ecosystem
inferredcites →https://doi.org/10.1145/596980.596983openalex-snapshot
Information flow inference for ML
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-030-37487-7_21openalex-snapshot
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
inferred← citeshttps://doi.org/10.1007/978-3-030-52482-1_5openalex-snapshot
Hermes: A Language for Light-Weight Encryption
inferred← citeshttps://doi.org/10.1007/978-3-031-22308-2_5openalex-snapshot
SecWasm: Information Flow Control for WebAssembly
inferred← citeshttps://doi.org/10.1007/978-3-032-38692-2_17openalex-snapshot
TraceHunter: Efficient Language Agnostic Verification of Constant-Time Cryptographic Implementations via Processor Tracing
inferred← citeshttps://doi.org/10.1007/978-981-16-6369-7_46openalex-snapshot
RBJ20 Cryptography Algorithm for Securing Big Data Communication Using Wireless Networks
inferred← citeshttps://doi.org/10.1007/978-981-16-7657-4_24openalex-snapshot
RPBK21 Technique Used to Secure the Data
inferred← citeshttps://doi.org/10.1007/978-981-16-7657-4_59openalex-snapshot
KRB02 Method Used to Secure the Generalized Data
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.1016/j.cose.2022.102745openalex-snapshot
Wasmati: An efficient static vulnerability scanner for WebAssembly
inferred← citeshttps://doi.org/10.1016/j.cosrev.2025.100728openalex-snapshot
WebAssembly and security: A review
inferred← citeshttps://doi.org/10.1016/j.matpr.2020.10.123openalex-snapshot
WITHDRAWN: Analyzing social media data for securing using ED method
inferred← citeshttps://doi.org/10.1063/5.0110864openalex-snapshot
SB20 technique used to secure the data
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678831openalex-snapshot
Empowering Web Applications with WebAssembly: Are We There Yet?
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444855openalex-snapshot
Whose Baseline Compiler is it Anyway?
inferred← citeshttps://doi.org/10.1109/cloud55607.2022.00077openalex-snapshot
Avengers, Assemble! Survey of WebAssembly Security Solutions
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.2019.00026openalex-snapshot
Using Information Flow to Design an ISA that Controls Timing Channels
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00036openalex-snapshot
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
inferred← citeshttps://doi.org/10.1109/dsn58291.2024.00033openalex-snapshot
ZipChannel: Cache Side-Channel Vulnerabilities in Compression Algorithms
inferred← citeshttps://doi.org/10.1109/hpca68181.2026.11408570openalex-snapshot
Protean: A Programmable Spectre Defense
inferred← citeshttps://doi.org/10.1109/i-smac52330.2021.9640792openalex-snapshot
Applying the BBRP01 Technique Used To Secure The Data
inferred← citeshttps://doi.org/10.1109/i-smac52330.2021.9640948openalex-snapshot
KRB01 Method for Securing the Data
inferred← citeshttps://doi.org/10.1109/i-smac52330.2021.9641004openalex-snapshot
RB01 Technique Used To Applying The Generalized Data
inferred← citeshttps://doi.org/10.1109/icirca51532.2021.9544824openalex-snapshot
Securing The Generalized Data Using BBRP24 Method
inferred← citeshttps://doi.org/10.1109/ict4s55073.2022.00014openalex-snapshot
WebAssembly versus JavaScript: Energy and Runtime Performance
inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00101openalex-snapshot
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis
inferred← citeshttps://doi.org/10.1109/saner60148.2024.00037openalex-snapshot
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis
inferred← citeshttps://doi.org/10.1109/scam51674.2020.00007openalex-snapshot
Compositional Information Flow Analysis for WebAssembly Programs
inferred← citeshttps://doi.org/10.1109/secdev51306.2021.00029openalex-snapshot
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
inferred← citeshttps://doi.org/10.1109/seed51797.2021.00025openalex-snapshot
Confidential Computing—a brave new world
inferred← citeshttps://doi.org/10.1109/socc58585.2023.10256749openalex-snapshot
Hardware Specification Aware Timing Side Channel Security Analysis
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00008openalex-snapshot
SoK: Computer-Aided Cryptography
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00046openalex-snapshot
High-Assurance Cryptography in the Spectre Era
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833713openalex-snapshot
“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179385openalex-snapshot
Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00048openalex-snapshot
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00075openalex-snapshot
SoK: Software Compartmentalization
inferred← citeshttps://doi.org/10.1109/tetc.2023.3281738openalex-snapshot
Private Delegated Computations Using Strong Isolation
inferred← citeshttps://doi.org/10.1109/tifs.2026.3707433openalex-snapshot
DISARM: Target Electronic Device Informed Mitigation of Software Runtime Side-Channel Vulnerabilities
inferred← citeshttps://doi.org/10.1145/3314221.3314605openalex-snapshot
FaCT: a DSL for timing-sensitive computation
inferred← citeshttps://doi.org/10.1145/3385412.3385982openalex-snapshot
Securing smart contract with runtime validation
inferred← citeshttps://doi.org/10.1145/3434330openalex-snapshot
Automatically eliminating speculative leaks from cryptographic code with blade
inferred← citeshttps://doi.org/10.1145/3460120.3484810openalex-snapshot
Solver-Aided Constant-Time Hardware Verification
inferred← citeshttps://doi.org/10.1145/3487552.3487827openalex-snapshot
Understanding the performance of webassembly applications
inferred← citeshttps://doi.org/10.1145/3540250.3549150openalex-snapshot
DeJITLeak: eliminating JIT-induced timing side-channel leaks
inferred← citeshttps://doi.org/10.1145/3611643.3616311openalex-snapshot
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
inferred← citeshttps://doi.org/10.1145/3617232.3624862openalex-snapshot
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection
inferred← citeshttps://doi.org/10.1145/3635707openalex-snapshot
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks
inferred← citeshttps://doi.org/10.1145/3643772openalex-snapshot
Towards Efficient Verification of Constant-Time Cryptographic Implementations
inferred← citeshttps://doi.org/10.1145/3650212.3652141openalex-snapshot
Multi-modal Learning for WebAssembly Reverse Engineering
inferred← citeshttps://doi.org/10.1145/3696410.3714693openalex-snapshot
WaSCR: A WebAssembly Instruction-Timing Side Channel Repairer
inferred← citeshttps://doi.org/10.1145/3714465openalex-snapshot
Research on WebAssembly Runtimes: A Survey
inferred← citeshttps://doi.org/10.1145/3763101openalex-snapshot
Non-interference Preserving Optimising Compilation
inferred← citeshttps://doi.org/10.1145/3808340openalex-snapshot
Pantomime: Constructive Leakage Proofs via Simulation
inferred← citeshttps://doi.org/10.1145/3832152openalex-snapshot
WASCII: Bridging WebAssembly Specifications and Implementations through LLM-Enhanced Validation
inferred← citeshttps://doi.org/10.14801/jkiit.2022.20.12.103openalex-snapshot
Web-based Blockchain Network System Design and Implementation using Web Assembly
inferred← citeshttps://doi.org/10.2139/ssrn.7207446openalex-snapshot
TMLM: A Taxonomy of Type-Driven Lowering Bugs in WebAssembly JIT Compilers
inferred← citeshttps://doi.org/10.70675/41ca56f6z320bz469czadb4zdc104c312e3bopenalex-snapshot
Usuba, Optimizing Bitslicing Compiler
inferred← citeshttps://doi.org/10.70675/d6848aaaz6964z4c3ezb276z8aa93e0e7831openalex-snapshot
Formal verification for high assurance security software in FStar : application to communication protocols and cryptographic primitives
inferred← citeshttps://doi.org/10.70675/ee4351d6zfa56z4f84zb520zfa000f7a1f27openalex-snapshot
Cryptographie dans la nature : la sécurité des implémentations cryptographiques
showing the first 62 of 63 · page through all 63
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.