smorina

Pinned Repositories

BESSPIN-BMD-2019
The Ballot Marking Device used in the DEF CON 2019 SSITH secure hardware demonstration.
Language:TypeScript11
BESSPIN-Voting-System-Demonstrator-2019
The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.
Language:Coq11 6 17
e2eviv
Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
Language:TeX163
haskell-plotter
Simple application based on Brick, plots data from Ivy bus
Language:Haskell00
hugo-theme-sam
A Simple and Minimalist theme for Hugo with a focus on typography and content.
Language:HTML00

smorina's Repositories

smorina/haskell-plotter
Simple application based on Brick, plots data from Ivy bus
Language:Haskell00
smorina/hugo-theme-sam
A Simple and Minimalist theme for Hugo with a focus on typography and content.
Language:HTML00