bsdinis

frodo

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

bencher

bsdinis.github.io

Website

dist-rs

Generic Replication Protocols in Rust

echo

Example echo servers for performance comparison

feedback

A course on effective feedback, designed as a project for the CCEIC curricular unit, Fall 2021

h2-proto

ist-advanced-algorithms

ist-algorithms-for-logic

ist-cryptography

ist-network-security

ist-parallel-distributed-computing

ist-programming-languages

ist-software-security

kvtracer

Dummy YCBS client to generate workload traces

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)

rustask

CLI based task manager (written in Rust)

sanitizers

Example usage of C Sanitizers

secure-chat

An example chat with OpenSSL's C API for non-blocking connections

serverless-faas-workbench

FunctionBench

sgx-chat

Chat between 2 SGX enclaves, using TaLoS

svg

Composer and parser for SVG

ycsb-rs

A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)