Collection of WebAssembly research papers on security topics
☆12Jun 21, 2024Updated 2 years ago
Alternatives and similar repositories for Security-Papers-in-WebAssembly
Users that are interested in Security-Papers-in-WebAssembly are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22☆14Jul 14, 2022Updated 4 years ago
- Bilingual Resume Template in Latex. 中英双语Latex简历模板☆21Jun 4, 2024Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆23Jul 4, 2022Updated 4 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 5 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GAINS: Getting stArted wIth biNary analysiS☆32Feb 23, 2022Updated 4 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- ☆11Feb 8, 2026Updated 8 months ago
- Guest lecture about modern DRM analysis at Ruhr-Universität Bochum.☆12Jun 10, 2024Updated 2 years ago
- Portable Keylogger for windows that actually works , saves all typed keys to a text file with the exe. You can compile it after adding pr…☆15Jan 2, 2022Updated 4 years ago
- my exp for CVE-2020-27194, tested on linux kernel 5.8.14.☆14Feb 3, 2021Updated 5 years ago
- Record and Replay for WebAssembly☆36Jul 1, 2026Updated 3 months ago
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆62Oct 5, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Awesome LLM for Cybersecurity☆12Nov 16, 2024Updated last year
- Jakub's security research☆17Sep 21, 2026Updated 3 weeks ago
- Sentiment Analyzer with Naive Methods (Based on Keywords)☆11Aug 28, 2015Updated 11 years ago
- ALIEN: idA Local varIables/inLine functIons rEcogNizer☆18Dec 21, 2021Updated 4 years ago
- Fuzzy search tool for IDA Pro (Update)☆11Mar 18, 2024Updated 2 years ago
- Simple keylogger on C++ with several functions.☆16Jun 19, 2020Updated 6 years ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 7 years ago
- Code similarity checker using clang.(AST approach)☆17Feb 17, 2017Updated 9 years ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆17Oct 30, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tool to collect and visualize memory usage of a process tree, mainly for Windows.☆19Dec 5, 2024Updated last year
- Concise Haskell reference☆12Mar 22, 2018Updated 8 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- IDA plugin for auto rename symbol☆16Jan 16, 2025Updated last year
- A Haskell Collections library. [WIP]☆15Apr 7, 2024Updated 2 years ago
- ☆28Sep 9, 2020Updated 6 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- This repository Consists of material And Certificates Earned From Online Learning Course on Coursera from University of Michigan☆21Dec 7, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Misuse cases of Cryptography in real world software products☆11Nov 4, 2018Updated 7 years ago
- ☆10Aug 19, 2016Updated 10 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 8 years ago
- ☆14May 31, 2022Updated 4 years ago
- Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)☆14Oct 17, 2021Updated 5 years ago
- Android virtual machine and deobfuscator☆18Jan 31, 2024Updated 2 years ago
- Final project code for 3110, MOSS implementation using OCaml☆27Nov 26, 2021Updated 4 years ago