TheosOS

A "Theoretically Secure Operating System", focused on information protection, that is provably secure provided that a specific part of the kernel would be free of bugs.
In particular, bugs in application can't be exploited to attack the system.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow TheosOS

TheosOS Web Site

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of TheosOS!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

System Administrators

Programming Language

Related Categories

C Security Software, C Operating System Kernels

Registered

2003-03-23

Similar Business Software

Auth0

Auth0 takes a modern approach to Identity, providing secure access to any application, for any user. Safeguarding billions of login transactions each month, Auth0 delivers convenience, privacy, and security so customers can focus on innovation. Auth0 is part of Okta, The World’s Identity...

See Software
TrafficGuard

Digital advertisers lose billions every year to invalid traffic, and most do not know it is happening. Fake clicks, bots and click farms are only part of it. The bigger drain is non-incremental traffic: excessive clickers with no intent to convert, and navigational traffic that would have found...

See Software
ManageEngine Endpoint Central

ManageEngine Endpoint Central gives IT teams a single platform to manage and secure every device across the organization, eliminating the need to juggle multiple point tools. Patch management is automated across Windows, macOS, Linux, and 1000+ third-party applications. Software deployment,...

See Software
Criminal IP

Criminal IP is a cyber threat intelligence solution that provides decision-ready threat intelligence, and attack surface management solutions to security teams worldwide. By continuously scanning the global internet, Criminal IP aggregates and contextualizes threat signals across IPs, domains,...

See Software
Proton VPN

Protect your business against damaging data breaches and easily comply with security frameworks like ISO 27001, GDPR, and HIPAA. Our software-only virtual private network easily integrates with your existing infrastructure to provide a flexible and scalable way to protect your...

See Software
Admin By Request Endpoint Privilege Management

Admin By Request EPM gives organizations control over who and what can elevate on their endpoints, without standing up servers, databases, or a dedicated admin team to run it. The model is least privilege: a user or an application receives the specific access its task requires and nothing more....

See Software

Report inappropriate content