martonbognar/gap-attacks martonbognar/gap-attacks

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
  • Created about 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
martonbognar/gap-attacks
github

martonbognar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

vcdvis

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

website-watcher

Check for changes in the content of websites.
Python
8
star
3

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.
Haskell
6
star
4

vagrant-nginx-php-mysql

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

safedrunk.com

Keep track of your alcohol consumption and current blood alcohol level.
PHP
1
star
6

equation-solver

A chemical equation parser and solver in Prolog.
Prolog
1
star
7

martonbognar.github.io

The code powering mici.hu.
HTML
1
star
8

microprofiler

MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling
Python
1
star
9

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.
C
1
star