Piddy's repositories
p-heeb.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:HTMLMIT000
seL4
The seL4 microkernel
Language:CNOASSERTION000
camkes-tool
The main CAmkES tool
NOASSERTION000
seL4_tools
Basic tools for building seL4 projects
Language:CNOASSERTION000
NOASSERTION000
NOASSERTION000
oqs-hsm-provider
OpenSSL 3 provider containing post-quantum algorithms with key generation and signature from dilithium3 algorithm on hsm.
MIT000
strongswan-docker
A collection of docker image build files
Language:Shell000
PracticalMalwareAnalysis-Labs
Binaries for the book Practical Malware Analysis
000