BRAS
Filed: July 29, 2020
Downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081118
BEDROCK ZEROTRUST ARCHITECTURE
Filed: July 29, 2020
Downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081129
BEDROCK ZEROTRUST DESIGN
Filed: July 29, 2020
Downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081133
FORMAL METHODS AUTOMATION
Filed: July 29, 2020
downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081136
BEDROCKED
Filed: July 29, 2020
Downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081139
BEDROCKING
Filed: July 29, 2020
Downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081145
BHV
Filed: July 29, 2020
Downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90081147
ACTIVE SECURITY
Filed: July 29, 2020
Integrated runtime software component in the nature of downloadable computer software for continuous data monitoring and…
Owned by: BedRock Systems, Inc.
Serial Number: 90081154
BARE METAL PROPERTY
Filed: July 29, 2020
Embedded recorded software system for computer and hardware security; downloadable computer software and firmware to provide…
Owned by: BedRock Systems, Inc.
Serial Number: 90081157
BEDROCK SYSTEMS
Filed: November 11, 2020
downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90312688
BEDROCK HYPERVISOR
Filed: November 16, 2020
downloadable embedded software system for computer and hardware security; downloadable computer software and firmware to…
Owned by: BedRock Systems, Inc.
Serial Number: 90322245
FORMALLY SECURED TCB BY DESIGN
Filed: January 29, 2021
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware…
Owned by: BedRock Systems, Inc.
Serial Number: 90496727
SECURE TCB BY DESIGN
Filed: February 4, 2021
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware…
Owned by: BedRock Systems, Inc.
Serial Number: 90511011
ELASTIC ENCLAVE CLOUD
Filed: March 2, 2021
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware…
Owned by: BedRock Systems, Inc.
Serial Number: 90555387
ELASTIC ENCLAVE
Filed: March 2, 2021
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware…
Owned by: BedRock Systems, Inc.
Serial Number: 90555393
ENCLAVE CLOUD
Filed: March 2, 2021
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware…
Owned by: BedRock Systems, Inc.
Serial Number: 90555402
BEDROCK CONFIDENTIAL CLOUD
Filed: March 2, 2021
computer hardware featuring formal verification technology for computer security, reliability, and safety; computer hardware…
Owned by: BedRock Systems, Inc.
Serial Number: 90555407
PROVABLY UNBREAKABLE
Filed: May 12, 2021
computer services, namely, providing security for computer operating system programs and applications for verification purposes…
Owned by: BedRock Systems, Inc.
Serial Number: 90706076
BEDROCK ENCLAVE CLOUD
Filed: November 11, 2021
Recorded computer software for computer security and reliability, namely, computer software for formal verification; recorded…
Owned by: BedRock Systems, Inc.
Serial Number: 97119871
BEDROCK ELASTIC ENCLAVE
Filed: November 11, 2021
Recorded computer software for computer security and reliability, namely, computer software for formal verification; recorded…
Owned by: BedRock Systems, Inc.
Serial Number: 97119881
BEDROCK ENCLAVE
Filed: November 11, 2021
Recorded computer software for computer security and reliability, namely, computer software for formal verification; recorded…
Owned by: BedRock Systems, Inc.
Serial Number: 97119890
BEDROCK EMBEDDED
Filed: October 14, 2022
Downloadable computer software and firmware to provide security for computer operating system programs and applications;…
Owned by: BedRock Systems, Inc.
Serial Number: 97632095
BEDROCK WORX
Filed: October 14, 2022
Downloadable computer software and firmware to provide security for computer operating system programs and applications;…
Owned by: BedRock Systems, Inc.
Serial Number: 97632100
BEDROCK CRITICAL
Filed: October 14, 2022
Downloadable computer software and firmware to provide security for computer operating system programs and applications;…
Owned by: BedRock Systems, Inc.
Serial Number: 97632101
ULTRAVISOR
Filed: January 17, 2023
Downloadable computer software and firmware to provide security for computer operating system programs and applications;…
Owned by: BedRock Systems, Inc.
Serial Number: 97756715
ULTRASPACES
Filed: January 17, 2023
Downloadable computer software and firmware to provide security for computer operating system programs and applications;…
Owned by: BedRock Systems, Inc.
Serial Number: 97756718
ULTRASECURITY
Filed: January 17, 2023
integrated runtime software component in the nature of downloadable computer software for continuous data monitoring and…
Owned by: BedRock Systems, Inc.
Serial Number: 97756721
