Materials for SAL (Security & Applied Logic) Master's Degree, Faculty of Mathematics & Informatics, Univesity of Bucharest (2021 - 2023). Materiale pentru Masterul SAL (Securitate și Logică Aplicată), FMI - UniBuc.
☆26Nov 1, 2024Updated last year
Alternatives and similar repositories for SAL-Materials-FMI-Master-Degree
Users that are interested in SAL-Materials-FMI-Master-Degree are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resources for Faculty of Mathematics and Computer Science, University of Bucharest.☆19Jul 29, 2024Updated 2 years ago
- Master Inginerie Software FMI 2022-2024☆22Aug 17, 2024Updated 2 years ago
- Materiale pentru FMI - UNIBUC☆41Nov 10, 2022Updated 3 years ago
- computer networks on docker @ fmi.unibuc.ro☆145May 29, 2026Updated 4 months ago
- Security Summer School, Web Track☆30Jul 16, 2026Updated 3 months 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.
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆15Jun 20, 2025Updated last year
- ☆12May 30, 2020Updated 6 years ago
- IETF RATS terms cheat sheet☆12Feb 4, 2023Updated 3 years ago
- ☆17May 22, 2023Updated 3 years ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆26Updated this week
- Collections of student projects to find execution path in binary program via taint analysis using Ghidra☆19Sep 25, 2022Updated 4 years ago
- Boilerplate pentru lucrările scrise în LaTeX în limba română☆16Jun 27, 2016Updated 10 years ago
- MultiSentiNet-CIKM2017☆22Jan 9, 2018Updated 8 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.
- examples and utilities of dstack applications☆28Updated this week
- Formal specification of attestation mechanisms in Confidential Computing☆26Nov 22, 2025Updated 10 months ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆30Oct 10, 2026Updated last week
- A feed of malware samples curated from threat intelligence sources.☆28Oct 6, 2023Updated 3 years ago
- The danger of repetivive format string vulnerabilities and abusing exit on full RELRO☆22May 26, 2022Updated 4 years ago
- Nix flake for home configuration☆27Oct 4, 2026Updated 2 weeks ago
- SemEval-2017 Task 4: Sentiment Analysis in Twitter☆30Aug 20, 2024Updated 2 years ago
- Example lab application☆20Mar 30, 2026Updated 6 months ago
- The first open onchain competitive AI eval framework☆28Mar 29, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Background-Agnostic Framework with Adversarial Training for Abnormal Event Detection in Video☆34Apr 12, 2022Updated 4 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆40Sep 1, 2026Updated last month
- ☆36Jul 28, 2025Updated last year
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Dec 18, 2023Updated 2 years ago
- Example of a barebones NixOS config using the dendritic pattern☆35Oct 6, 2026Updated last week
- 2048, written in C, for the terminal☆42Jan 17, 2024Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- Laborator de Programare Orientată pe Obiecte - Facultatea de Matematică și Informatică, Universitatea din București☆101Sep 23, 2026Updated 3 weeks ago
- ☆67Nov 4, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Solutions and writeups for the picoCTF Cybersecurity Competition held by Carnegie Mellon University☆43Feb 10, 2021Updated 5 years ago
- ☆76Jul 24, 2025Updated last year
- Source code for the DEF CON 32 CTF Qualifiers.☆76May 24, 2024Updated 2 years ago
- ☆101Jul 18, 2026Updated 3 months ago
- ☆75Oct 3, 2026Updated 2 weeks ago
- SampCert : Verified Differential Privacy☆105Sep 25, 2026Updated 3 weeks ago
- ☆141Updated this week