Byoungho Son
Ph.D student at POSTECH
Study Materials
General
Thesis
Blogs
Cryptography & Security
Cryptographic Protocols
- Veronique Cortier
- MPRI lecture note
- Berry Schoenmakers
- MPRI - Preuves de protocoles de sécurité (Blanchet) old link
Cryptography
- The Joy of Cryptography
- Alessandro Chiesa
- Mihir Bellare
- Rafael Pass
- Alex Ozdemir
- Dakshita Khurana
- Boaz Barak
- Riccardo Pucella
- Vipul Goyal
Computer-Aided Cryptography
Post-Quantum
Lattice-based
Security & Privacy
Quantum
Category Theory
Institution Theory, Algebraic Specification
- Tarlecki
- Foundations of Algebraic Specification and Formal Software Develpment
- Theorem Proving and Algebra - Goguen
- Institution Independent Model Theory
- Tutorial on Institution Theory
Coalgebra & Semantics
Type Theory & Curry-Howard-Lambek Isomorphism & HoTT
(Dependent) Type Theory
(Category-theoretic) Semantics
HoTT
- Introduction to Univalent Foundations of Mathematics with Agda
- HoTT Course (Andrej Bauer)
- Intro to HoTT (Egbert Rijke)
- Cubical TT
Programming
Automated Resoning & Automated Theorem Proving
Term Rewriting & Rewriting Logic
Automated Theorem Proving
- D’Souza
- Dillig
- Farinelli
Skolemisation, Herbrand Universe, Resolution, Paramodulation, etc
- Ringeissen
- TUM
Herbrand, Skolem, Goedel, Decidability, …
- Contejean
In french
- U. Innsbruck
Satisfiability
Formal Verification & Model Checking
Formal Verification
Model Checking
- Joost Pieter-Katoen
- Michael Blondin (in French)
- TUM
- Roderick Bloem
- UNIUD
Temporal Logic
Model Checking Tools Tutorials (Spin & NuSMV)
Model Checking & Machine Learning & Statistics
- Modeling and Verification of Probabilistic Systems, RWTH
- Formal Verification Meets Machine Learning, RWTH
Concurrency
- Meseguer
- Damien Zufferey
- Models of concurrency, categories, and games
- Foundations of Concurrency
- Separation Logic course by Benjamin Pierce
Program Verification
Systems Verification
Automata Theory
Knowledge, Epistemology, Philosophy
(TODO) https://sites.pitt.edu/~rbrandom/Courses%201%20c.html https://jshaw.net/courses/gradlanguage.html https://mmandelkern.github.io/ https://iccl.inf.tu-dresden.de/web/Foundations_of_Logic_Programming_(WS2021)/en https://lat.inf.tu-dresden.de/~fernandez/esslli2019/unifDLsCourse.html
Formal Epistemology
Knowledge Representation and Reasoning
Modal Logic
=== Logic ===
Model theory
Logic
- TUM
- Bodirsky Lecture Note
- mathematical logic (Marco Benini)
- Antonio Montalban
- Steve Awodey
- UIUC
- Advanced Logic
- Samuel Buss
ToC
===== Misc. ===== Programming Language
Lecture Materials
(in French)
Braunschweig TCS lecture notes
Coq
Lean
Rust
program synthesis
- mit 6.S084/6.887 2020 (Armando Solar-Lezama)
- ucsd cse-291 (Nadia Polikarpova)
Software Analysis & Testing
Distributed Systems
KAIST KAIST PL
Compiler
- Steve Zdancewic
- Adrian Sampson
- Mooly Sagiv
Teaching Compilers Backward (from PL Perspective)
Cornell
- cs3110 - functional programming with ocaml
- cs4160 - formal verification
- cs6110 - advanced programming languages
- cs6112 - foundations of concurrency
- cs6117 - category theory for computer scientists
- cs6861 - Introduction to Kleene Algebra
- cs6156 - runtime verification
CMU
- Bug Catching: Automated Program Verification (Ruben Martins)
- Automated Reasoning and Satisfiability (Ruben Martins)
- Program Analysis (Jonathan Aldrich)
- rwh (Bob Harper)
OS
- MIT 6.828
- gatech CS3210 Taesoo Kim
- MIT 6.826 Principles of Computer Systems Nickolai Zeldovich
- Yale Zhong Shao (Lab: CertikOS)
- OS Dev Wiki
- curtsinger
Deep Learning
- Foundations of Deep Learning (Soheil Feizi)
- Geometric Deep Learning
- NYU-CDS (Yann LeCun)
- Deep Learning Theory - UIUC
SNU
Blockchain
Software Practice
Multi Agent Systems / Game Theory
From Database Theory Community
From Finite Model Theory & Descriptive Complexity Community
- Finite Model Theory Lecture Note
- Nicole Schweikardt
- Tomas Jakl - Finite Model Theory, Game Comonad, etc
Optimization
Latex
How to write papers?
=== Some Articles ===