Pinned 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
awesome-wasm-runtimes
A list of webassemby runtimes
bencher
frodo
jiftools
restart-rollback
Code for RR: A Fault Model for Efficient TEE Replication (NDSS'23)
jj
A Git-compatible VCS that is both simple and powerful
bsdinis's Repositories
bsdinis/frodo
bsdinis/2020submissions
Pwn2Win CTF 2020 flag submissions
bsdinis/AutoVulnDetect
This repository contains a symbolic executor with capabilities of detecting common vulnerabilities in x86 binaries
bsdinis/awesome-wasm-runtimes
A list of webassemby runtimes
bsdinis/bencher
bsdinis/bsdinis.github.io
Website
bsdinis/dist-rs
Generic Replication Protocols in Rust
bsdinis/echo
Example echo servers for performance comparison
bsdinis/feedback
A course on effective feedback, designed as a project for the CCEIC curricular unit, Fall 2021
bsdinis/jiftools
bsdinis/restart-rollback
Code for RR: A Fault Model for Efficient TEE Replication (NDSS'23)
bsdinis/h2-proto
bsdinis/ist-advanced-algorithms
bsdinis/ist-algorithms-for-logic
bsdinis/ist-cryptography
bsdinis/ist-network-security
bsdinis/ist-parallel-distributed-computing
bsdinis/ist-programming-languages
bsdinis/ist-software-security
bsdinis/kvtracer
Dummy YCBS client to generate workload traces
bsdinis/marshal
Compiler for a DSL that makes marshaling structs and commands easier in C.
bsdinis/ms-thesis
bsdinis/neurketa
Interactive data plots for research
bsdinis/peer
An abstraction layer for non blocking connections for OpenSSL
bsdinis/rustask
CLI based task manager (written in Rust)
bsdinis/sanitizers
Example usage of C Sanitizers
bsdinis/serverless-faas-workbench
FunctionBench
bsdinis/sgx-chat
Chat between 2 SGX enclaves, using TaLoS
bsdinis/svg
Composer and parser for SVG
bsdinis/ycsb-rs
A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)