Pinned

1. gap-attacks Public

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

   9

2. vcdvis Public

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

   Python 11

3. kuifje Public

   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 M…

   Haskell 5 2

4. website-watcher Public archive

   Check for changes in the content of websites.

   Python 7

5. safedrunk.com Public

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

   PHP 1

6. erettsegik/erettsegik.hu Public

   https://erettsegik.hu

   PHP 4 1