Pinned Loading

1. SecPriv/webspec SecPriv/webspec Public

   Towards Machine-Checked Analysis of Browser Security Mechanisms

   OCaml 12

2. SecPriv/web-platform-threats SecPriv/web-platform-threats Public

   Web Platform Threats: Automated Detection of Web Security Issues With WPT

   JavaScript 2

3. secgroup/fws secgroup/fws Public

   Language-independent Synthesis of Firewall Policies

   Haskell 23 7

4. forth-lisp forth-lisp Public

   A prolog compiler written in lisp, written in forth.

   Forth 2

5. bmc bmc Public

   BMC-based non-linear horn clauses solver based on z3py

   Python 1

6. emacs-vimcrypt emacs-vimcrypt Public

   VIM encryption for emacs

   Emacs Lisp 3 1