Statements (31)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:company
|
gptkbp:foundedYear |
2012
|
gptkbp:founder |
gptkb:Dan_Guido
|
gptkbp:headquartersLocation |
gptkb:New_York_City
|
https://www.w3.org/2000/01/rdf-schema#label |
Trail of Bits
|
gptkbp:industry |
cybersecurity
|
gptkbp:notableClient |
gptkb:Ethereum_Foundation
gptkb:Facebook gptkb:Google gptkb:Microsoft |
gptkbp:notableContributor |
formal verification
software supply chain security blockchain vulnerabilities |
gptkbp:notableProject |
gptkb:Slither
gptkb:osquery gptkb:Echidna gptkb:Manticore |
gptkbp:numberOfEmployees |
100+
|
gptkbp:offersService |
penetration testing
security consulting tool development |
gptkbp:specializesIn |
cryptography
blockchain security security audits software assurance |
gptkbp:website |
https://www.trailofbits.com/
|
gptkbp:bfsParent |
gptkb:Compound_DAO
gptkb:Yearn_DAO gptkb:OpenSSF gptkb:Balancer |
gptkbp:bfsLayer |
5
|