Second meetup! Constraint solvers, eclipse attacks and history of GFW!
Details
Agenda:
7:00 Intro
7:10-7:40 Kevin on constraint solvers (including QA & discussion)
7:50-8:20 Peter Lai on eclipse attacks (including QA & discussion)
8:30-9:00 David on history of firewalls/GFW (including QA & discussion)
Leave by 9:30ish
Constraint solvers talk:
Oracle-Guided Component-Based Program Synthesis
https://people.eecs.berkeley.edu/~sseshia/pubdir/synth-icse10.pdf
Eclipse attacks talk:
Low-Resource Eclipse Attackson Ethereum’s Peer-to-Peer Network
https://eprint.iacr.org/2018/236.pdf
GFW talk:
https://awesome-doge.github.io/breaking-gfw-book/
If you want to talk, please comment here!
Speakers:
Kevin Lynagh (https://kevinlynagh.com/) designs interfaces for the playful exploration and manipulation of abstract concepts.
He has built tools for wind turbine operators, genetic engineers, and manufacturers of hipster housewares.
When Kevin is not computering, he enjoys industrial design, Olympic lifting, and snacks.
Peter Lai (https://twitter.com/alk03073135)
Peter is a blockchain engineer at Diode (https://diode.io/). He has a business administration background before delving into programming. Currently, he is developing blockchain-based decentralized PKI (DPKI) with the Diode team, working closely with CTO Dominic Letz.
David is an independent GFW/VPN/Bitcoin researcher.