Daniel Bosk's Projects
Reading Research (on Remarkable) Tools
A program to search scholarly articles and generate systematic literature review results
A Dockerfile for the @Shadow discrete-event network simulator
Using Zotero and Semantic Scholar for automated snowballing of research papers
SPORES: Stateless Probabilistic Onion Routing for E-Squads
A utility to generically follow people (or their updates that are not on social networks)
Main source code repository of the Tamarin prover for security protocol verification.
Repository for text editor syntax highlighting
Technology Enhanced Learning Studies
A small framwork for doing test-driven lab grading
LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.
A course on applied computer science
Base Docker image for simulating/emulating Tor using Shadow
A Tufte-inspired LaTeX class for producing handouts, papers, and books
USENIX article class/style
Posters listing conferences and journals in security and privacy
Vundle, the plug-in manager for Vim
Automates logging into web UIs to access unofficial APIs
Tools to process Zoom output