22
Publications
963
Citations
16
H-Index
1984
Active since
Affiliations
Brian Coan is an author at Massachusetts Institute of Technology specializing in engineering, formal verification, and computer science.
Top concepts
EngineeringComputer ScienceFormal VerificationSystems EngineeringBlockchainCryptographyData SecurityFormal MethodsFault ToleranceCloud Computing
Publications per year
1984–2010
22
22
Byzantine replication under attack
Yair Amir, Brian Coan, Jonathan Kirsch et al. · 2008 · 85 citations
Hardware Security, Standard Correctness Criteria, Blockchain Consensus Protocol +15
Rows per page
1–5 of 22