Kyle Brogle is an author at Boston University specializing in formal verification, engineering, and automated reasoning.
Top concepts
EngineeringFormal VerificationLawSecurityCryptographyData PrivacyData SecurityPublic PolicyFormal MethodsComputer Science
Publications per year
2012–2014
3
3
On the risk of misbehaving RPKI authorities
Danny Cooper, Ethan Heilman, Kyle Brogle et al. · 2013 · 76 citations
Engineering, New Security Infrastructure, Information Security +18
Rows per page
1–3 of 3