I'm Ximin Luo, a Debian Developer and security research engineer. I work on secure protocols and decentralized systems. I prefer to use high-level checked languages such as Rust, OCaml, or Haskell. I work for the Reproducible Builds project and have previously worked for MEGA, Tor, Google and Freenet.
I also like music, cooking, sci-fi and cats, in an order indistinguishable from a truly random sequence by a polynomial-time-bounded computational adversary.
URLs for Ximin Luo
No URLs found.
Events for Ximin Luo
"Lots of things are wrong with the internet, everything sucks" is a recurring theme at many tech events like this. But there is not enough focus on concrete long-term fixes. Discussions of security topics are not systematic enough, and people and companies pushing selfish agendas makes these problems worse.
In this talk we suggest better "ground-up" approaches to secure system design. Composability is the key idea here; we'll discuss both abstract principles for achieving this, as wel… Read more
Schedule:
- Wednesday, Aug 31st, 2016, 15:00 (CEST) - Wednesday, Aug 31st, 2016, 16:00 (CEST)
Let's verify each other's digital PGP keys at BornHack so that we can authenticate each other when we are not together at the island.
For people who haven't attended a PGP keysigning party before, we will guide you through it
What do I need to bring?
- Bring the output of
gpg --fingerprint $YOUR_KEY_IDon some pieces of paper to hand out. - (Optional) Bring some government-issued identification paper (passport, drivers license, etc.). The ID sho…
Read more
Schedule:
- Wednesday, Aug 31st, 2016, 21:00 (CEST) - Wednesday, Aug 31st, 2016, 22:00 (CEST)