Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate standardization security technologies in information systems.
☆29Mar 9, 2026Updated last month
Alternatives and similar repositories for lecture-security_engineering
Users that are interested in lecture-security_engineering are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 6 years ago
- reverse engineered google music protocol☆22Feb 8, 2012Updated 14 years ago
- Optimized implementation of ring-TESLA☆11Aug 4, 2016Updated 9 years ago
- ☆12Mar 1, 2023Updated 3 years ago
- Rust binding for tcc☆15Jul 24, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated 2 years ago
- A crate built on top of `axum-sessions`, implementing the CSRF Synchronizer Token Pattern☆15Updated this week
- An esoteric programming language where the program is a Git repository☆12Jan 21, 2022Updated 4 years ago
- A writepolicy plugin for Strfry relays☆17Sep 17, 2024Updated last year
- C++ iterator that performs the cartesian product of many containers.☆12Jan 12, 2016Updated 10 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- A parser library for Pony.☆17Feb 20, 2025Updated last year
- Memory leak detector for rust☆15Jun 28, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆30Sep 11, 2023Updated 2 years ago
- ☆16Mar 21, 2023Updated 3 years ago
- ☆14Jan 22, 2025Updated last year
- Latest version of the mono sequencer amxd for Ableton Live☆11Jan 28, 2015Updated 11 years ago
- けものフレンズに出てくるラッキービースト的な何かを作るテスト☆12Sep 9, 2017Updated 8 years ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- ☆11May 12, 2019Updated 6 years ago
- Lattice reduction technique☆10Oct 14, 2014Updated 11 years ago
- Implementation of sha256 in WGSL☆23Mar 12, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 4 months ago
- ☆89Jan 28, 2021Updated 5 years ago
- Reproduction code for Postgres BUG #13667☆18Jan 7, 2016Updated 10 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 5 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Jan 8, 2022Updated 4 years ago
- Like gpg and chpst got married☆22Mar 9, 2016Updated 10 years ago
- Font maps for dvipdfmx, and the script kanji-config-updmap☆20Mar 24, 2024Updated 2 years ago
- ☆43May 2, 2022Updated 3 years ago
- Canonical JSON☆31Mar 16, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A performance-focused HTTP reverse proxy☆21Jun 23, 2017Updated 8 years ago
- Type inference in OCaml☆40Mar 14, 2015Updated 11 years ago
- a Private Publish Subscribe System☆52May 4, 2024Updated last year
- An implementation for fair auditing and contingent payments in Bitcoin☆23Sep 11, 2017Updated 8 years ago
- Crates.io's index as a web app.☆14Sep 20, 2015Updated 10 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Jul 3, 2015Updated 10 years ago
- 🐚 An opinionated SQL formatter.☆27Jan 20, 2023Updated 3 years ago