Baltasar Dinis (bsdinis)

bsdinis

Geek Repo

Company:@mit-pdos

Location:Cambridge, MA

Twitter:@bsdinis

Github PK Tool:Github PK Tool

Baltasar Dinis's repositories

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

2020submissions

Pwn2Win CTF 2020 flag submissions

Stargazers:0Issues:0Issues:0

asa-project

Project for Algorithm Analysis and Synthesis course @ IST Spring 2019

Language:TeXStargazers:0Issues:0Issues:0

asa-project2

Second project for ASA

Language:C++Stargazers:0Issues:0Issues:0

AutoVulnDetect

This repository contains a symbolic executor with capabilities of detecting common vulnerabilities in x86 binaries

Language:CStargazers:0Issues:0Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

dist-rs

Generic Replication Protocols in Rust

Language:RustStargazers:0Issues:1Issues:0

echo

Example echo servers for performance comparison

Language:RustStargazers:0Issues:0Issues:0

feedback

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

Stargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:CoqStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

kvtracer

Dummy YCBS client to generate workload traces

Language:HTMLStargazers:0Issues:0Issues:1

marshal

Compiler for a DSL that makes marshaling structs and commands easier in C.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

neurketa

Interactive data plots for research

Language:RustStargazers:0Issues:0Issues:0

peer

An abstraction layer for non blocking connections for OpenSSL

Language:CLicense:MITStargazers:0Issues:0Issues:0

restart-rollback

Code for RR: A Fault Model for Efficient TEE Replication (NDSS'23)

Language:CLicense:MITStargazers:0Issues:0Issues:0

rustask

CLI based task manager (written in Rust)

Language:RustLicense:MITStargazers:0Issues:1Issues:0

sanitizers

Example usage of C Sanitizers

Language:CLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

secure-chat

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

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

sgx-chat

Chat between 2 SGX enclaves, using TaLoS

Stargazers:0Issues:1Issues:0

svg

Composer and parser for SVG

License:NOASSERTIONStargazers:0Issues:0Issues:0

ycsb-rs

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0