MSIEVE: A Library for Factoring Large Integers
☆18Apr 7, 2023Updated 3 years ago
Alternatives and similar repositories for msieve
Users that are interested in msieve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- the world's smallest Windows 98 SE io.sys☆14May 28, 2025Updated last year
- Solving BDD and uSVP with predicate☆51Jul 31, 2024Updated 2 years ago
- Homemade implementation of Square Attack against 4 rounds AES☆14Feb 2, 2020Updated 6 years ago
- Given p xor q and n=p*q for two unknown primes p and q, factor n and output p and q.☆21Jan 8, 2017Updated 9 years ago
- Collection of Win32 with C++/Assembly for Hooking, Patch and Reversing PE file☆18Nov 7, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Cross platform library containing set of useful operations for storage devices.☆20Updated this week
- Moved to https://github.com/a1ive/nwinfo/tree/master/libcdi☆14Dec 15, 2025Updated 10 months ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- 该资源是作者收集各种类型CTF比赛的常用工具，包括Web、RE、Misc、Crypto、PWN、IOT等方向，非常适合安全初学者。希望对您有所帮助，也欢迎大家补充~☆12Aug 25, 2024Updated 2 years ago
- C++20 minimalist, fast Win32 GUI library for dialog windows.☆21Sep 7, 2026Updated last month
- A Sage implementation of the ROCA attack☆30May 16, 2023Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated last year
- Very detailed CTF writeups. Try to make it understandable to CTF beginners. Mainly in Chinese, with English notes. 中文为主，辅以英文注释☆28Dec 7, 2022Updated 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.
- SATA AHCI baremetal driver☆23Jan 18, 2019Updated 7 years ago
- Cross platform library containing common set of functions to issue standard commands to storage devices.☆26Updated this week
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆50Mar 31, 2025Updated last year
- ☆12Jul 26, 2026Updated 3 months ago
- A template programming library for Kernel Mode Windows drivers.☆13Jul 12, 2016Updated 10 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆43Oct 10, 2023Updated 3 years ago
- VeriX: Towards Verified Explainability of Deep Neural Networks☆13Aug 5, 2026Updated 2 months ago
- Header-only compile-time string obfuscation for C++, hiding literals from static analysis and reacting to debuggers at runtime.☆15Oct 5, 2026Updated 3 weeks 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.
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- A pure python tool to implement/exploit the hash length extension attack☆39Aug 14, 2023Updated 3 years ago
- ☆17Updated this week
- header only library for NtLoadDriver/NtUnloadDriver.☆11Sep 8, 2020Updated 6 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- A bookmark manager for audio streams on Android.☆14Aug 14, 2020Updated 6 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Convert Windows PDB into JSON profile supported by DRAKVUF/LibVMI☆15May 29, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Tiny Windows executable that outputs version information about the OS.☆12Sep 14, 2026Updated last month
- Another Remote Access Control software, written in Golang. It heavily relies on cryptography to avoid threat of botnet use/abuse by other…☆12Jan 12, 2017Updated 9 years ago
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 7 years ago
- The Win32 implementation for OS/2☆12Sep 3, 2016Updated 10 years ago
- ☆12Nov 19, 2023Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year