Baltasar Dinis's repositories
2020submissions
Pwn2Win CTF 2020 flag submissions
asa-project
Project for Algorithm Analysis and Synthesis course @ IST Spring 2019
asa-project2
Second project for ASA
AutoVulnDetect
This repository contains a symbolic executor with capabilities of detecting common vulnerabilities in x86 binaries
bsdinis.github.io
Website
echo
Example echo servers for performance comparison
marshal
Compiler for a DSL that makes marshaling structs and commands easier in C.
neurketa
Interactive data plots for research
peer
An abstraction layer for non blocking connections for OpenSSL
restart-rollback
Code for RR: A Fault Model for Efficient TEE Replication (NDSS'23)
sanitizers
Example usage of C Sanitizers
secure-chat
An example chat with OpenSSL's C API for non-blocking connections
serverless-faas-workbench
FunctionBench
svg
Composer and parser for SVG
ycsb-rs
A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)