header
zarinjo
CTO@informalincプロトコル設計、脅威モデリング、セキュリティ監査、正式な方法、BFTコンセンサス。