Operating Systems: Design and Security Lab Materials
☆20Dec 28, 2025Updated 2 months ago
Alternatives and similar repositories for osds-lab
Users that are interested in osds-lab are comparing it to the libraries listed below
Sorting:
- ☆11May 22, 2023Updated 2 years ago
- Automate basic shell and vim configurations☆11Oct 25, 2022Updated 3 years ago
- Interface definitions for the Compute@Edge platform in witx.☆15Feb 11, 2022Updated 4 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
- Anti-debugging techniques on a (bad looking) Win32 application.☆11Sep 14, 2024Updated last year
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 7 months ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- Recon tool for URLs discovery☆12Jun 19, 2024Updated last year
- ☆13Oct 6, 2022Updated 3 years ago
- This repository houses diverse files and challenges centered around Just Mobile Security. With practical exercises and resources aimed at…☆13Apr 15, 2024Updated last year
- Security Blogs - A simple aggregator for security news/blog☆24Jan 19, 2026Updated last month
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- Implementation of the ERC6160 token standard☆13Sep 13, 2024Updated last year
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated 5 months 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
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- Making local government more transparent and accessible☆33Updated this week
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆15Nov 30, 2020Updated 5 years ago
- My customized docker image used for binary exploitation and RE☆14Jul 3, 2021Updated 4 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆17Nov 7, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated last year
- ☆12Sep 23, 2021Updated 4 years ago
- A collection of scripts used to support an OffSecOps pipeline.☆15Jan 31, 2021Updated 5 years ago
- one off scripts and contracts☆18May 24, 2023Updated 2 years ago
- ☆12Jan 4, 2022Updated 4 years 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
- ☆17Dec 10, 2025Updated 2 months ago
- ERC-4626 compatible CryptoSwap pool☆18Jul 25, 2022Updated 3 years ago
- torch implementation of diloco☆22May 31, 2024Updated last year
- An open-souce CLI which can be used to clone, compile and upload shadow contracts to the decentralized Shadow Contract Registry.☆17Mar 10, 2025Updated 11 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Discord bot focused on managing and organising CTFs / Security stuff☆18Nov 22, 2024Updated last year
- Parallelized enumeration tool for red team engagements and bug bounty programs.☆16Mar 31, 2021Updated 4 years ago
- The Latex files used to create my PhD Thesis☆17Jul 8, 2022Updated 3 years ago
- ☆16Dec 2, 2021Updated 4 years ago
- hack tik tok☆20May 19, 2021Updated 4 years ago
- Topic Detection from English text using BERT + Bi-GRU + CRF☆14Feb 11, 2020Updated 6 years ago
- HEVD Multi-Exploit by m_101☆23Jun 24, 2018Updated 7 years ago