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 5 months ago
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:
- ☆42May 29, 2024Updated 2 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Generic engine to evaluate logical circuits on homomorphic encryption☆83Updated this week
- ☆10Feb 20, 2017Updated 9 years ago
- Optimized implementation of ring-TESLA☆11Aug 4, 2016Updated 10 years 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.
- poiboot - x86_64のUEFI向け簡易ブートローダー☆18Sep 30, 2019Updated 6 years ago
- 誰でも簡単にデータ分析ができるモジュール☆12Aug 24, 2017Updated 8 years ago
- 情報セキュリティ関連の大学研究室Webサイトをまとめてみた☆165Jul 25, 2023Updated 3 years ago
- ECDLP solver with hardware acceleration of GPU.☆19Mar 5, 2025Updated last year
- Differential fuzzing for elliptic curves☆25Sep 6, 2023Updated 2 years ago
- Nostr relay running on Cloudflare Workers☆18Jun 20, 2026Updated last month
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆18Jun 26, 2025Updated last year
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated 2 years ago
- The visualization tool of security incidents like retro games.☆20Dec 14, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 「Rustで始めるネットワークプログラミング」 第5章（web販売版: web-versionブランチ）のリポジトリです。☆11May 8, 2020Updated 6 years ago
- reverse engineered google music protocol☆23Feb 8, 2012Updated 14 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- A crate built on top of `axum-sessions`, implementing the CSRF Synchronizer Token Pattern☆16Updated this week
- Documentation and tools to curate Sigma rules for Windows event logs into easier to parse rules.☆16Oct 22, 2025Updated 9 months ago
- An esoteric programming language where the program is a Git repository☆13Jan 21, 2022Updated 4 years ago
- A writepolicy plugin for Strfry relays☆17Sep 17, 2024Updated last year
- A parser library for Pony.☆17Feb 20, 2025Updated last year
- C++ iterator that performs the cartesian product of many containers.☆12Jan 12, 2016Updated 10 years 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.
- ☆13Nov 23, 2019Updated 6 years ago
- Repository for JabRef's blog☆10Updated this week
- Send GKE audit events to falco☆12Jan 8, 2023Updated 3 years ago
- ☆16Mar 21, 2023Updated 3 years ago
- Japanese translation of OpenSSH manual pages☆13Oct 15, 2016Updated 9 years ago
- The undocumented API for reporting sites to Safe Browsing☆11Jun 3, 2020Updated 6 years ago
- This extension colors the background in various ways for VS Code☆11Apr 30, 2023Updated 3 years ago
- ☆14Jan 22, 2025Updated last year
- ☆14Feb 7, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Example of a nix flake for a Python project☆13Nov 16, 2023Updated 2 years ago
- My configuration files☆18Apr 14, 2026Updated 3 months ago
- Proof of Concept for CVE-2014-3466 (GnuTLS buffer overflow: session id length check)☆17Sep 29, 2014Updated 11 years ago
- Asciimath parser☆26Mar 11, 2025Updated last year
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 6 months ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- けものフレンズに出てくるラッキービースト的な何かを作るテスト☆12Sep 9, 2017Updated 8 years ago