hi, i'm keks (he/him). i am into computer security and decentralized systems. at my day job at cryspen i work on making strong encryption and verified cryptography ready for the masses.
i have worked at least authority, where i helped our clients to make their code and cryptography more secure.
i have analyzed dominic tarr's secret handshake protocol using tamarin. together with chris brzuska
i dig scuttlebutt. cryptix and me started the go implementation, but i haven't been actively contributing for a while now. i am still involved in organizing in the wider community, though.
me elsewhere: