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.
☆25Nov 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:
- Materiale pentru Facultatea de Matematică și Informatică, specializarea Informatică (2018 - 2021). Resources for Faculty of Mathematics a…☆165Nov 1, 2024Updated last year
- Various resources for my Undergraduate Degree at the University of Bucharest CTI 2020-2024☆19May 26, 2024Updated 2 years ago
- 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
- This repository keeps all faculty-related documents, finished projects, homework, and labs.☆130Oct 25, 2023Updated 2 years 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.
- Wiki Facultatea de Matematica si Informatica Bucuresti☆33Jan 24, 2019Updated 7 years ago
- 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
- Archaeology of Intelligent Machines☆10Oct 11, 2025Updated 10 months ago
- ☆15Aug 3, 2026Updated 2 weeks ago
- Wiki for the Faculty of Computer Science and Mathematics from Bucharest☆234Jan 13, 2024Updated 2 years ago
- This repository houses diverse files and challenges centered around Just Mobile Security. With practical exercises and resources aimed at…☆14Apr 15, 2024Updated 2 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☆21Jul 19, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Collections of student projects to find execution path in binary program via taint analysis using Ghidra☆18Sep 25, 2022Updated 3 years ago
- ☆28Oct 8, 2025Updated 10 months ago
- MultiSentiNet-CIKM2017☆22Jan 9, 2018Updated 8 years ago
- ☆20Mar 11, 2026Updated 5 months ago
- examples and utilities of dstack applications☆27Updated this week
- Laboratoare & Materiale - Dezvoltarea Aplicatiilor Web☆16Jan 11, 2021Updated 5 years ago
- Formal specification of attestation mechanisms in Confidential Computing☆24Nov 22, 2025Updated 8 months ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆31May 4, 2026Updated 3 months ago
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆27Aug 10, 2026Updated last week
- 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.
- My personal dot files / Home Manager config☆19Updated this week
- The danger of repetivive format string vulnerabilities and abusing exit on full RELRO☆22May 26, 2022Updated 4 years ago
- Security Blogs - A simple aggregator for security news/blog☆30Aug 7, 2026Updated last week
- WAVE (Wide Architecture Virtual Encoding) - The universal GPU ISA. Write GPU kernels once, run on Apple, NVIDIA, AMD, and Intel GPUs. Inc…☆34Apr 24, 2026Updated 3 months ago
- A Highly Efficient & Multifaceted Neovim Starter Configuration entirely in lua with Lazy.nvim☆24Nov 23, 2025Updated 8 months 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.☆39Aug 1, 2026Updated 2 weeks ago
- ☆34Updated this week
- ☆34Jul 28, 2025Updated last year
- dendritic niri ❄️☆30Aug 4, 2026Updated 2 weeks 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.
- ☆42Jun 5, 2026Updated 2 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆56Jul 1, 2026Updated last month
- Home of FIREBALL: A Dataset of Dungeons and Dragons Actual-Play with Structured Game State Information (ACL 2023)☆54Oct 3, 2024Updated last year
- A course on Halo2 in collaboration with Zircuit☆36Mar 30, 2026Updated 4 months ago
- A formal verification of Linear PCP SNARKs.☆64Updated this week
- ☆73Jun 4, 2026Updated 2 months ago
- Solutions and writeups for the picoCTF Cybersecurity Competition held by Carnegie Mellon University☆41Feb 10, 2021Updated 5 years ago