hosaka

⊕ a tessier-ashpool subsidiary

info

A loose collective of security minded individuals with an interest in formal methods, cryptography, and operating systems.

-----BEGIN PGP PUBLIC KEY BLOCK-----

mDMEWGhb0xYJKwYBBAHaRw8BAQdAMjBrnZ66/qq71GjcXI4uuooVOLFpRy6fOPTm
5Qsz81u0KkNhbGUgQmxhY2sgKHBvcHRhcnQpIDxjYWxlQGhvc2FrYWNvcnAubmV0
PoiWBBMWCAA+FiEEohp+DaeVRPw1wTiO13aLzExaQX8FAlhoW9MCGwMFCQHhM4AF
CwkIBwIGFQgJCgsCBBYCAwECHgECF4AACgkQ13aLzExaQX8pMAD/WECro3L6VpUR
YsPp75ehDQh9mBx+6b+HoHNgG+NStX8BAKRN9o3KP7I4m91l2z3Jl2htazsMungH
q6Cqyitdh/YLuDgEWGhb0xIKKwYBBAGXVQEFAQEHQPVfW/Z9o/fs2UvKqh2vjwWV
tlNUeiWwZq7s+oT/sjwHAwEIB4h+BBgWCAAmFiEEohp+DaeVRPw1wTiO13aLzExa
QX8FAlhoW9MCGwwFCQHhM4AACgkQ13aLzExaQX8oBQEA0VSTv7evAchFi6/Ux1OF
9jWdjB6cBskjmlIQYNyNG5wA/jEmo2nZQBZRjy9nGj19gDllVxopNGBvVutmrYhb
kNYD
=RUk2
-----END PGP PUBLIC KEY BLOCK-----