open-education-hub / essentials-security
Security Summer School: Security Essentials Track
☆18Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for essentials-security
- Security Summer School, Binary track☆26Updated 4 months ago
- Teaching resources (OER) for Operating Systems☆63Updated 6 months ago
- The UPB D Summer School Repository☆14Updated last month
- ACS - Proiectarea Algoritmilor (lab)☆13Updated last year
- Security Summer School, Web track☆24Updated 3 months ago
- The front page and documentation for the Unikraft Open-Source Project.☆33Updated last week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- An educational 32-bit linux-like Operating System, with public bachelor- and master-level course slides.☆140Updated 3 weeks ago
- Repository public IOCLA☆22Updated 2 months ago
- Cartea "Utilizarea sistemelor de operare"☆38Updated 9 months ago
- Python library for configuring and building unikernels☆177Updated last year
- ☆143Updated 5 months ago
- Unikraft Google Summer of Code☆12Updated 2 months ago
- Simple unix-like operating system for education and research purposes☆302Updated 2 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆238Updated this week
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆18Updated last year
- A public database of C compiler test cases, minimal test runners, and public test results.☆206Updated 4 years ago
- Gallium Operating System☆13Updated 5 months ago
- Reference implementation of Arm-CCA RMM specification☆39Updated this week
- The first AVR32 impelmentation for QEMU☆30Updated 7 months ago
- 64-bit UNIX hobby operating system with a UEFI bootloader☆76Updated last week
- 64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…☆19Updated 2 years ago
- Static Analyser for C☆105Updated this week
- ☆11Updated 5 months ago
- ☆108Updated this week
- A verification tool for many memory models☆77Updated this week
- Silm your kernel with better configuration.☆33Updated 6 months ago
- The danger of repetivive format string vulnerabilities and abusing exit on full RELRO☆16Updated 2 years ago
- A verified library of synchronization primitives and concurrent data structures☆21Updated 2 months ago