martonbognar

vcdvis

VCD visualizer: view your waveforms in ASCII format, or export them to TikZ figures.

gap-attacks

The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures".

website-watcher

Check for changes in the content of websites.

kuifje

A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.

vagrant-nginx-php-mysql

A vagrant box for setting up websites on a 32-bit virtual machine with pure nginx, PHP and MySQL.

ipe-exposure

Intellectual Property Exposure: Subverting and Securing Intellectual Property Encapsulation in Texas Instruments Microcontrollers

note-store

A simple application to store and display markdown notes, created as an assignment for a university course.

equation-solver

A chemical equation parser and solver in Prolog.

martonbognar.github.io

The code powering mici.hu.

microprofiler

MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling

safedrunk.com

Keep track of your alcohol consumption and current blood alcohol level.

stm32-morse

A simple program on the F4 Discovery board that converts the incoming text through UART to morse code, sends it back using . and - characters and signals it with the onboard LED.

vrased-gap

Attacks on VRASED from our "Mind the Gap" paper.

ecoteam

activity

An implementation of a variant of the Activity game, where each round gets more and more difficult.

apex-gap

Attack on APEX from our "Mind the Gap" paper.

bali

Keep track of your blood alcohol level and its effects on your health. Now superseded by safedrunk.com.

calendar-atmel

A basic calendar application implemented on the ATmega328P with an LCD display and some switches.

cass

chat

A basic console chat application written in modern C++ for a university course.

flashcards

jegyszamito

A MaYoR rendszer stilusaban keszult script, amivel kiszamithato kulonbozo sulyozasu osztalyzatok atlaga.

modusponens-prototype

A prototype implementation of NeColus with the modus ponens rule.

morse

A simple C program that converts ASCII text and numbers to morse code, and displays it using . or - characters.

RFC5905

A more or less complete reformatting of RFC5905 (NTP) to LaTeX. Made as a homework for a LaTeX course.

safedrunk-app

Keep track of your alcohol consumption and current blood alcohol level, but without a browser.

sancus-core-gap

Attacks on Sancus_V from our "Mind the Gap" paper.

sllvm

Security Enhanced LLVM

spektion

tf2-custom

My custom TF2 configuration files.