prosyslab-classroom/cs348-information-security external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

prosyslab-classroom/cs348-information-security

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/prosyslab-classroom/cs348-information-security)

Close

prosyslab-classroom / cs348-information-securityView on GitHubMore

• External links
• Readme badge

☆81Mar 2, 2026Updated 3 weeks ago

Alternatives and similar repositories for cs348-information-security

Users that are interested in cs348-information-security are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Mar 8, 2026Updated 2 weeks ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆71Updated this week
• ssimplexity / CS322_fall2024

  View on GitHub
  KAIST. Formal Languages and Automata. Fall semester.
  ☆20Dec 11, 2024Updated last year
• hongseok-yang / logic21

  View on GitHub
  ☆22Jun 18, 2021Updated 4 years ago
• casys-kaist / pintos-kaist

  View on GitHub
  ☆226Apr 18, 2025Updated 11 months ago
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆555Apr 3, 2025Updated 11 months ago
• kaist-cp / cs220

  View on GitHub
  ☆297Nov 27, 2024Updated last year
• kaist-cp / cs431

  View on GitHub
  ☆1,483Aug 8, 2025Updated 7 months ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• kaist-cp / kecc-public

  View on GitHub
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆179Jun 13, 2025Updated 9 months ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 3 months ago
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆46Nov 20, 2024Updated last year
• NetSP-KAIST / forky

  View on GitHub
  This is Github repository for "Forky" published in ICSE'25
  ☆15Sep 15, 2025Updated 6 months ago
• KAIST-CS20200 / CS20200-Main

  View on GitHub
  Q&A, homeworks, etc.
  ☆35Mar 17, 2026Updated last week
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• hongseok-yang / graduatePL25

  View on GitHub
  ☆17Nov 10, 2025Updated 4 months ago
• kaist-cp / hazardflow

  View on GitHub
  HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
  ☆21Dec 5, 2024Updated last year
• kodless-org / kodless

  View on GitHub
  Create websites without writing any code
  ☆14May 16, 2024Updated last year
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• ceferisbarov / TUMLU

  View on GitHub
  TUMLU: A Unified and Native Language Understanding Benchmark for Turkic Languages
  ☆25Feb 25, 2025Updated last year
• sparcs-kaist / ftp.kaist.ac.kr

  View on GitHub
  KAIST File Archive Service Configuration
  ☆67Dec 21, 2024Updated last year
• kaist-plrg / jiset

  View on GitHub
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Jan 7, 2023Updated 3 years ago
• acsc-org / acsc-challenges-2021-public

  View on GitHub
  ☆28Nov 18, 2021Updated 4 years ago
• sangkilc / ocaml-exploit

  View on GitHub
  A collection of useful functions to write an exploit in OCaml
  ☆17Oct 11, 2014Updated 11 years ago
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• Slowerzs / KeyJumper

  View on GitHub
  ☆54Mar 26, 2025Updated 11 months ago
• csehydrogen / algorithm

  View on GitHub
  for icpc
  ☆12Aug 25, 2020Updated 5 years ago
• dario2994 / pol2dom

  View on GitHub
  Tool to convert and import problems from Polygon into DOMjudge.
  ☆30Mar 19, 2025Updated last year
• subaquatic-pierre / raderbot

  View on GitHub
  Raderbot is a Rust-based trading bot designed to interact with the BingX WebSocket API for market data analysis and trading operations.
  ☆25Jul 24, 2024Updated last year
• prosyslab / DAFL

  View on GitHub
  american fuzzy lop - a security-oriented fuzzer
  ☆11Feb 25, 2026Updated 3 weeks ago
• sparcs-kaist / zabo-front-reactjs

  View on GitHub
  Image and Poster Advertising Service @ KAIST
  ☆19May 5, 2024Updated last year
• portone-io / birecord

  View on GitHub
  Bi-directional record in type-safe way
  ☆17Sep 26, 2024Updated last year
• ko-translation-team / glossary

  View on GitHub
  번역 표준화를 위한 기술 용어 안내서
  ☆18Jun 25, 2023Updated 2 years ago
• blockblaz / zeam-runtime

  View on GitHub
  ☆12Mar 22, 2025Updated last year
• 1lastBr3ath / XSleaks

  View on GitHub
  Chrome extension to detect possible xsleaks
  ☆12May 4, 2019Updated 6 years ago