List of bugs found in distributed protocols

Lecture slides for a course in Formal Analysis of Real-World Security Protocols

Maude-based implementation of BC-logic

Main repository for Harvard CS260r 2017.

Formal Analysis of TEE Applications using TEE Formal Spec.

Formal Specification of Trusted Execution Environment APIs

Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)

An SMT extension of Maude

Make Llama2 use Code Execution, Debug, Save Code, Reuse it, Access to Internet

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Formalization of termination of Gödel's System T

λΠ Programming Language Theory

기초컴파일러구성 프로젝트

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

Speech and Language Processing, 2nd Edition in PDF format

TensorFlow code and pre-trained models for BERT

Everything I studied

Paper list of NLP bootcamp in filpped school from modulabs

Makefile Tutorial for 2018 Sogang University CSE2035-01

데이터 사이언스를 공부하고 싶은 분들을 위한 글

YSDA course in Natural Language Processing

HTML5/EPUB3 version of SICP