Operating Systems: Design and Security Lab Materials
☆20Dec 28, 2025Updated 3 months ago
Alternatives and similar repositories for osds-lab
Users that are interested in osds-lab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Materials for SAL (Security & Applied Logic) Master's Degree, Faculty of Mathematics & Informatics, Univesity of Bucharest (2021 - 2023).…☆23Nov 1, 2024Updated last year
- Framework for interaction with external Win32 processes☆11Mar 9, 2026Updated last month
- Security Blogs - A simple aggregator for security news/blog☆25Mar 31, 2026Updated 2 weeks ago
- Astro+TypeScript+React+Tailwind Blog Starter☆24Updated this week
- Interface definitions for the Compute@Edge platform in witx.☆15Feb 11, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- NiCad Clone Detector☆27Aug 5, 2025Updated 8 months ago
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 3 months ago
- Implementation of the ERC6160 token standard☆13Sep 13, 2024Updated last year
- ☆13Oct 6, 2022Updated 3 years ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 6 months ago
- A collection of scripts used to support an OffSecOps pipeline.☆15Jan 31, 2021Updated 5 years ago
- Study of a hypothetical attack scenario where an attacker corrupts images that are fed into an AI system, and has only a few chances befo…☆14Aug 31, 2021Updated 4 years ago
- Proof of concept on a predictive maintenance use case using federated learning to continuously improve predictions of the remaining life…☆11Feb 21, 2020Updated 6 years 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.
- Mockingjay process self injection POC☆50Aug 8, 2023Updated 2 years ago
- Automate basic shell and vim configurations☆11Apr 6, 2026Updated last week
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated last year
- ☆11May 22, 2023Updated 2 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆18Nov 7, 2024Updated last year
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 8 months ago
- ☆12Sep 23, 2021Updated 4 years ago
- ☆17Dec 10, 2025Updated 4 months ago
- Spins up a docker container with several useful tools for offensive security in macOS/cloud environments. Also installs the needed depend…☆18Nov 3, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Jan 4, 2022Updated 4 years ago
- one off scripts and contracts☆18May 24, 2023Updated 2 years ago
- ERC-4626 compatible CryptoSwap pool☆18Jul 25, 2022Updated 3 years ago
- Parallelized enumeration tool for red team engagements and bug bounty programs.☆16Mar 31, 2021Updated 5 years ago
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- An open-souce CLI which can be used to clone, compile and upload shadow contracts to the decentralized Shadow Contract Registry.☆17Mar 10, 2025Updated last year
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆13Aug 8, 2024Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- HEVD Multi-Exploit by m_101☆23Jun 24, 2018Updated 7 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- torch implementation of diloco☆22May 31, 2024Updated last year
- ☆54Oct 21, 2024Updated last year
- Making local government more transparent and accessible☆45Updated this week
- qiling framework examples☆16Jan 17, 2022Updated 4 years ago
- A lot of endpoints for the HackTheBox API.☆15Jul 3, 2020Updated 5 years ago