Trying out Length Extension Attack on SHA-256
☆30Sep 25, 2021Updated 4 years ago
Alternatives and similar repositories for length-extension
Users that are interested in length-extension are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A pure python tool to implement/exploit the hash length extension attack☆39Aug 14, 2023Updated 2 years ago
- From Zero to QED: An informal introduction to formality with Lean 4☆104Apr 1, 2026Updated 2 weeks ago
- ☆16Jan 23, 2026Updated 2 months ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆13Updated this week
- Experimental encrypted file system using SGX and FUSE☆12Oct 9, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Verifying the SCION architecture using Gobra☆12Apr 2, 2026Updated 2 weeks ago
- Sample code for exfiltrating data through an XSS vulnerability. XSS Payload retrieves sensitive data in victim's browser, then breaks it …☆21May 11, 2021Updated 4 years ago
- Provide a playing ground for `std::pmr` experimentation.☆12May 8, 2018Updated 7 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆14Jul 18, 2024Updated last year
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆33Apr 7, 2026Updated last week
- DCTF 2022 Challenge and infrastructure repository☆10May 8, 2024Updated last year
- Verifier for effectful, higher-order programs☆18Mar 10, 2026Updated last month
- CoRIM and CoMID manipulation library☆22Apr 7, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆17Apr 30, 2024Updated last year
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- A modified version of tpm2-tss that passed memory safety formal verification☆12Jul 26, 2019Updated 6 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆69Updated this week
- Kyuubi is a Telegram bot written in Golang. a multipurpose telegram bot to use in recon process. Don't you have access to terminal to do …☆12Oct 11, 2023Updated 2 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- ☆17Jan 31, 2026Updated 2 months ago
- DNS Performance Measurement Library with support for Do53, DoTCP, DoT, DoH and DoQ☆17Sep 8, 2022Updated 3 years ago
- Your perfect recognition for HTMLi and XSS☆19Oct 14, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RevLLM -- Reverse Engineering Tools for Large Language Models☆20Feb 29, 2024Updated 2 years ago
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 2 years ago
- A Coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 2 months ago
- Stress-SGX is a fork of stress-ng that allows to put Intel SGX enclaves under high load.☆16Aug 21, 2018Updated 7 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Apr 1, 2026Updated 2 weeks ago
- Various userscripts to enhance functionality in Canvas☆11May 21, 2025Updated 10 months ago
- Write ups to the CTF problems online.☆14Mar 17, 2022Updated 4 years ago
- A memory allocator verified with Verus☆33Feb 18, 2026Updated 2 months ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆26Jan 10, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a powerful tool designed to automate the detection of Server-Side Request Forgery (SSRF) and Open Redirect vulnerabilities☆22Oct 15, 2024Updated last year
- A CI/CD-verified list of the internet's known-good public DNS servers (from public-dns.info) Updated weekly!☆36Apr 1, 2026Updated 2 weeks ago
- Source Code for 'Exploring C++20' by Ray Lischner☆26Oct 4, 2021Updated 4 years ago
- Automate Nuclei scans and streamline bug hunting workflows☆21Feb 16, 2024Updated 2 years ago
- PGT allows you to generate pcaps using python without touching the network in any way. It is dependent upon scapy.☆29Jan 3, 2022Updated 4 years ago
- CVE-2022-39227 : Proof of Concept☆22Mar 19, 2024Updated 2 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Nov 8, 2017Updated 8 years ago