Examples for EasyCrypt Lectures

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

Public Repo for Software Security Course@IST

A curated list of awesome decompilation resources and projects.

Fast and lightweight x86/x86-64 disassembler and code generation library

Publicly released tools/plugins from PPP for DEFCON 25 CTF Finals

Instituto Superior Técnico - ACM-ICPC notebook

HTTP web server index for Apache httpd, lighttpd and nginx.

File formats dissections and more...

Beautiful web-based music player

Algorithms and classes for the International Collegiate Programming Contest

baseBot is a small bot that connects to irccloud servers

A plataforma do Loop.

A simple and easy to use HTML5 Periodic Table

A computer algebra system in C