marton bognar's repositories
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.
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.
activity
An implementation of a variant of the Activity game, where each round gets more and more difficult.
calendar-atmel
A basic calendar application implemented on the ATmega328P with an LCD display and some switches.
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.
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.
tf2-custom
My custom TF2 configuration files.