bogwonch

Advanced-OS

Coursework for Embedded Systems

html-image-inliner

Inlines images in HTML

libAppPAL

AppPAL refactored into a library.

SecPAL

The SecPAL authorization logic ported to Haskell

alacritty

A cross-platform, GPU-accelerated terminal emulator

apppal-benchmark

Simple benchmark for AppPAL running on Android

apppal-genstore

apppal-genstores-template

Template app store to be generated by apppal-genstore

appstore-agreements

Summary of various developer and user agreements from various app stores.

atdcheck

Check text with Answer the Deadline from the commandline.

bogwonch.net

Blog

cog-stable-diffusion

Diffusers Stable Diffusion as a Cog model

COMSM0049

Systems and Software Security

cv

My CV. If you want to talk jobs email me.

dotfiles

Just some small town dotfiles… living in a lonely world… they took the midnight train going a-ny-where…

essos-2016-apppal

ifip-sec-2017-capturing

Capturing BYOD policies in SP4BYOD (AppPAL)

ifm-ds-2016-policies

Extended abstract for Integrated Formal Methods DS

imps-2017-byod

maestral

Open-source Dropbox client for macOS and Linux

news

Get the news

phd-thesis

My PhD thesis on Authorization Logic for Mobile Ecosystems.

qmk_firmware

keyboard controller firmware for Atmel AVR USB family

rfc1436

Nicely formatted documentation and toy Gopher Protocol implementations

ruby-blocky-image-viewer

Commandline image display library with true-color and higher-resolution images.

second-year-report

2YR for my PhD

secprog_lab3_app

App for Lab-3 of Secure Programming

third-year-report

Report from the third year of my PhD

vim-colors-nope

Nope to colors

walrus

An IRC bot