Recent academic papers related to cybercrime
☆18Jan 9, 2024Updated 2 years ago
Alternatives and similar repositories for cybercrime-papers
Users that are interested in cybercrime-papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆25Aug 23, 2022Updated 3 years ago
- ☆12Feb 8, 2021Updated 5 years ago
- ☆43Jul 6, 2022Updated 4 years ago
- SHELLCTF 2021 WriteUps. A beginner-friendly CTF with an objective to get the enthusiastic students familiar with the basics, along with a…☆12Jun 7, 2021Updated 5 years ago
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- Mobile Security - OMTG-Android Walkthrough☆11Oct 31, 2019Updated 6 years ago
- ☆47Dec 7, 2022Updated 3 years ago
- Extending NERDA Library for Continual Learning☆11Mar 31, 2024Updated 2 years ago
- ☆14Jun 21, 2020Updated 6 years ago
- The smart contract security training ground for developers, security researchers and educators.☆13Sep 24, 2024Updated last year
- MANDO-HGT is a framework for detecting smart contract vulnerabilities. Given either in source code or bytecode forms, MANDO-HGT adapts he…☆19Mar 7, 2024Updated 2 years ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆19Jun 30, 2022Updated 4 years ago
- ☆11Oct 13, 2020Updated 5 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.
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 5 years ago
- A collection for some scripts I used in CTF.☆15Apr 4, 2018Updated 8 years ago
- Macro pre-processor definitions for ANTLR4 written using ANTLR4 :-)☆12Jul 15, 2018Updated 8 years ago
- Static Jimple Slicer for Android Apps☆12Dec 2, 2021Updated 4 years ago
- Browser add-on that replaces "Donald Trump" with "Some Rich Asshole"☆17Mar 6, 2018Updated 8 years ago
- Artifacts of the USENIX Security 2022 paper "Spoki: Unveiling a New Wave of Scanners through a Reactive Network Telescope"☆19Dec 8, 2024Updated last year
- ☆19Mar 3, 2022Updated 4 years ago
- ☆62May 18, 2026Updated 2 months ago
- MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…☆29Feb 28, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A symbolic execution engine for EVM smart contract binaries.☆122Dec 2, 2025Updated 8 months ago
- Precision-guided context sensitivity for pointer analysis☆62Jul 2, 2023Updated 3 years ago
- The LLVM Infrastructure Working Group☆18Aug 31, 2022Updated 3 years ago
- Threat hunting in social media☆11Feb 17, 2019Updated 7 years ago
- ☆16Aug 16, 2021Updated 4 years ago
- ☆11Mar 11, 2015Updated 11 years ago
- A Tool to scrape URLs for a given domain from wayback machine, Commoncrawl and OTX Alienvault☆16Jun 25, 2021Updated 5 years ago
- decrypt rdp credentials to password using mimikatz.☆28Jul 23, 2026Updated 2 weeks ago
- Jeb3 Demo (include mips && arm64 && elf && pe && wasm decompiler) without limit☆18Jul 11, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Crash Consistency Checker☆11Jul 30, 2016Updated 10 years ago
- Software Analysis and Verification Group☆15Jul 14, 2026Updated 3 weeks ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Opriver's Quant Quest☆12Aug 27, 2018Updated 7 years ago
- my .vimrc in ubuntu☆14May 2, 2016Updated 10 years ago
- ☆17Mar 26, 2026Updated 4 months ago
- A fuzzer for SMT solvers☆22May 8, 2026Updated 3 months ago