Pinned Repositories
Advanced-OS
Coursework for Embedded Systems
html-image-inliner
Inlines images in HTML
libAppPAL
AppPAL refactored into a library.
PhD-Application
Documents regarding my PhD application
PIPs
Code for finding Platform Independent Programs
SecPAL
The SecPAL authorization logic ported to Haskell
Semantic-NOPs
Extracting Semantic NOPs for multiple architectures
skb
App Guarden SKB
soups-2015-poster
Poster abstract for SOUPS 2015
Thesis
Masters thesis work on 'Platform Independent Programs'
bogwonch's Repositories
bogwonch/Advanced-OS
Coursework for Embedded Systems
bogwonch/html-image-inliner
Inlines images in HTML
bogwonch/libAppPAL
AppPAL refactored into a library.
bogwonch/SecPAL
The SecPAL authorization logic ported to Haskell
bogwonch/alacritty
A cross-platform, GPU-accelerated terminal emulator
bogwonch/apppal-benchmark
Simple benchmark for AppPAL running on Android
bogwonch/apppal-genstore
bogwonch/apppal-genstores-template
Template app store to be generated by apppal-genstore
bogwonch/appstore-agreements
Summary of various developer and user agreements from various app stores.
bogwonch/atdcheck
Check text with Answer the Deadline from the commandline.
bogwonch/bogwonch.net
Blog
bogwonch/cog-stable-diffusion
Diffusers Stable Diffusion as a Cog model
bogwonch/COMSM0049
Systems and Software Security
bogwonch/cv
My CV. If you want to talk jobs email me.
bogwonch/dotfiles
Just some small town dotfiles… living in a lonely world… they took the midnight train going a-ny-where…
bogwonch/essos-2016-apppal
bogwonch/ifip-sec-2017-capturing
Capturing BYOD policies in SP4BYOD (AppPAL)
bogwonch/ifm-ds-2016-policies
Extended abstract for Integrated Formal Methods DS
bogwonch/imps-2017-byod
bogwonch/maestral
Open-source Dropbox client for macOS and Linux
bogwonch/news
Get the news
bogwonch/phd-thesis
My PhD thesis on Authorization Logic for Mobile Ecosystems.
bogwonch/qmk_firmware
keyboard controller firmware for Atmel AVR USB family
bogwonch/rfc1436
Nicely formatted documentation and toy Gopher Protocol implementations
bogwonch/ruby-blocky-image-viewer
Commandline image display library with true-color and higher-resolution images.
bogwonch/second-year-report
2YR for my PhD
bogwonch/secprog_lab3_app
App for Lab-3 of Secure Programming
bogwonch/third-year-report
Report from the third year of my PhD
bogwonch/vim-colors-nope
Nope to colors
bogwonch/walrus
An IRC bot