| UOBJECT UBERSPARK INC
98142513 21 Aug 2023 | on 20 Aug 2024
| Downloadable computer operating software; Downloadable computer operat... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Downloadable computer operating software; Downloadable computer operating system software; Downloadable computer software development tools; Downloadable computer software for encryption; Downloadable software development kits (SDK) | | | NKLAVE UBERSPARK INC
98818897 24 Oct 2024 | on 24 Oct 2024 | Downloadable computer software for providing a formally verified softw... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Downloadable computer software for providing a formally verified software; Downloadable computer software for providing a formally verified operating system; Downloadable computer software for providing a formally verified operating system software; Downloadable computer software for providing development tools to provide formally verified security; Downloadable computer software for providing software development kits (SDK) for providing formally verified security; Downloadable computer software for formal verification; Downloadable computer software for formal verification of software; Downloadable computer software for designing formally verified hardware; Downloadable computer software for encryption providing formally verified guarantees Class 042 Class 042 Computer & Software Services & Scientific Services Computer security consultancy in the field of formally verified hardware and software; Design and development of computer software for formally verified computer hardware and software; Design and development of computer software for formally verified hardware and software security; Design and development of computer software for formally verified secure network operations; Design and development of computer software for formally verified operating system software; Design and development of computer software for providing formal verification; Installation and maintenance of formally verified software; Installation and maintenance of formally verified computer software; Installation and maintenance of formally verified hardware design software; Installation of formally verified software; Installation of formally verified computer software; Installation of formally verified hardware design software; Installation, maintenance and repair of formally verified software; Installation, maintenance and repair of formally verified computer software; Installation, maintenance and repair of formally verified hardware design software | | | NIRUBI UBERSPARK INC
98818885 24 Oct 2024 | on 24 Oct 2024 | Downloadable computer software for providing a formally verified softw... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Downloadable computer software for providing a formally verified software; Downloadable computer software for providing a formally verified operating system; Downloadable computer software for providing a formally verified operating system software; Downloadable computer software for providing development tools to provide formally verified security; Downloadable computer software for providing software development kits (SDK) for providing formally verified security; Downloadable computer software for formal verification; Downloadable computer software for formal verification of software; Downloadable computer software for designing formally verified hardware; Downloadable computer software for encryption providing formally verified guarantees Class 042 Class 042 Computer & Software Services & Scientific Services Computer security consultancy in the field of formally verified hardware and software; Design and development of computer software for formally verified computer hardware and software; Design and development of computer software for formally verified hardware and software security; Design and development of computer software for formally verified secure network operations; Design and development of computer software for formally verified operating system software; Design and development of computer software for providing formal verification; Installation and maintenance of formally verified software; Installation and maintenance of formally verified computer software; Installation and maintenance of formally verified hardware design software; Installation of formally verified software; Installation of formally verified computer software; Installation of formally verified hardware design software; Installation, maintenance and repair of formally verified software; Installation, maintenance and repair of formally verified computer software; Installation, maintenance and repair of formally verified hardware design software | | | MPS UBERSPARK INC
98142517 21 Aug 2023 | on 24 Aug 2024 | Downloadable computer operating software; Downloadable computer operat... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Downloadable computer operating software; Downloadable computer operating system software; Downloadable computer software development tools; Downloadable computer software for encryption; Downloadable software development kits (SDK) | | | UBERSPARK UBERSPARK INC
98142496 21 Aug 2023 | on 24 Aug 2024 | Downloadable computer operating software; Downloadable computer operat... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Downloadable computer operating software; Downloadable computer operating system software; Downloadable computer software development tools; Downloadable computer software for encryption; Downloadable software development kits (SDK) Class 042 Class 042 Computer & Software Services & Scientific Services Computer software consultancy; Computer software design; Computer software design services; Customizing computer software; Developing customized software for others; Developing customized software in the field of cybersecurity for others; Developing of driver and operating system software; Development of software for secure network operations; Installation of computer software; Installation and maintenance of computer software; Maintenance of computer software; Maintenance and updating of computer software; Maintenance and upgrading of computer software; Software authoring; Software porting; Updating of computer software; Installation, maintenance, and updating of computer software | | | UBEROBJECT UBERSPARK INC
98142507 21 Aug 2023 | on 24 Aug 2024 | Downloadable computer operating software; Downloadable computer operat... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products Downloadable computer operating software; Downloadable computer operating system software; Downloadable computer software development tools; Downloadable computer software for encryption; Downloadable software development kits (SDK) | |