Pinned Repositories
fws
Language-independent Synthesis of Firewall Policies
web-platform-threats
Web Platform Threats: Automated Detection of Web Security Issues With WPT
webspec
Towards Machine-Checked Analysis of Browser Security Mechanisms
adversarial_neural_crypto
bmc
BMC-based non-linear horn clauses solver based on z3py
dotfiles
Dotfiles
dr_mauro
CT0304 Course Project Template
emacs-vimcrypt
VIM encryption for emacs
forth-lisp
A prolog compiler written in lisp, written in forth.
rustpro
A slow Prolog implementation in Rust
wert310's Repositories
wert310/emacs-vimcrypt
VIM encryption for emacs
wert310/rustpro
A slow Prolog implementation in Rust
wert310/adversarial_neural_crypto
wert310/dotfiles
Dotfiles
wert310/forth-lisp
A prolog compiler written in lisp, written in forth.
wert310/bmc
BMC-based non-linear horn clauses solver based on z3py
wert310/dr_mauro
CT0304 Course Project Template
wert310/mignis_docker
wert310/Afternotes
Afternotes for the attended courses at Ca' Foscari University, master in Data Management and Analytics.
wert310/crux-ports
wert310/EasyDockerWeb
A simple Web Ui for Docker using xterm.js, Node.js, dockerode and Socket.io
wert310/flask-cache
Cache extension for Flask
wert310/insekta-vm
wert310/insekta-web
wert310/matrix-react-sdk
Matrix SDK for React Javascript
wert310/pkappa2
Stream analysis tool for Attack & Defense CTF's
wert310/raycast
javascript raycast (2015)
wert310/table-layout
Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..
wert310/webspi
Backup of the WebSpi library for ProVerif
wert310/wert_dwm
DWM config and patches
wert310/wpt
Test suites for Web platform specs — including WHATWG, W3C, and others
wert310/z3
The Z3 Theorem Prover