SECURE TCB BY DESIGN
Mark Identification

SECURE TCB BY DESIGN

Serial Number

90511011

Filing Date

Feb 4, 2021

Trademark by

BEDROCK SYSTEMS INC.

Classification Information

computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware and embedded software for computer security and reliability, namely, computer hardware and software for formal verification

Electrical and Scientific Apparatus