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:
- 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
- ☆15Aug 19, 2026Updated 2 weeks ago
- ☆17May 22, 2023Updated 3 years ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆22Updated this week
- Collections of student projects to find execution path in binary program via taint analysis using Ghidra☆18Sep 25, 2022Updated 3 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.
- ☆21Mar 11, 2026Updated 5 months ago
- examples and utilities of dstack applications☆27Updated this week
- Formal specification of attestation mechanisms in Confidential Computing☆25Nov 22, 2025Updated 9 months ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆31Updated this week
- Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml☆27Aug 24, 2026Updated 2 weeks ago
- Dns amplification attack☆25Mar 22, 2019Updated 7 years ago
- The danger of repetivive format string vulnerabilities and abusing exit on full RELRO☆22May 26, 2022Updated 4 years ago
- WAVE (Wide Architecture Virtual Encoding) - The universal GPU ISA. Write GPU kernels once, run on Apple, NVIDIA, AMD, and Intel GPUs. Inc…☆35Apr 24, 2026Updated 4 months ago
- The first open onchain competitive AI eval framework☆28Mar 29, 2026Updated 5 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.
- 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.☆39Updated this week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆56Jul 1, 2026Updated 2 months ago
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated 2 years ago
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Dec 18, 2023Updated 2 years ago
- ☆58Oct 21, 2024Updated last year
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 3 weeks ago
- ☆73Jun 4, 2026Updated 3 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆83Feb 14, 2023Updated 3 years ago
- ☆79Sep 17, 2025Updated 11 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆67Nov 4, 2025Updated 10 months ago
- ☆94Updated this week
- ☆76Jul 24, 2025Updated last year
- Source code for the DEF CON 32 CTF Qualifiers.☆75May 24, 2024Updated 2 years ago
- SampCert : Verified Differential Privacy☆104Aug 27, 2026Updated last week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆117Updated this week
- Executable formal model of the EVM and Yul in Lean 4.☆94Nov 19, 2025Updated 9 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆116Jul 8, 2026Updated last month
- A CLI tool for interacting with SEV-SNP guest environment☆104Aug 19, 2026Updated 2 weeks 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.
- The Scyther Tool for the symbolic analysis of security protocols☆111Aug 29, 2026Updated last week
- The matrix cookbook, proved in the Lean theorem prover☆134Sep 16, 2025Updated 11 months ago
- A template for blueprint-driven formalization projects in Lean.☆114Aug 28, 2026Updated last week
- A formal proof of the independence of the continuum hypothesis☆147Aug 26, 2024Updated 2 years ago
- A zero-knowledge Lean4 compiler and kernel☆146Nov 7, 2024Updated last year
- GlibC Malloc for Exploiters presentation☆151Jun 22, 2019Updated 7 years ago
- Application Fuzzing: Tools, Techniques, and Best Practices☆176Sep 23, 2024Updated last year