By playing a game, citizen scientists can help increase reliability of mission-critical software systems.
SRI and the University of Cambridge are designing, prototyping, and analyzing trustworthy computer systems that can be gradually adopted with high reliability, resilience, and assurance, effectively letting system and application developers ‘wipe the slate clean' in incremental steps.
SRI provides technical, management, and subject matter expert support for the wide range of research, development, testing, evaluation, and transition activities conducted through the Center.
The Center conducts research and development aimed at providing IoT developers, integrators, and users with effective tools and methods for building and managing secure, privacy-preserving and maintainable IoT systems.
SRI is developing software that can uniquely identify a system’s users from spoken and written inputs, rather than using passwords.
To meet an important military challenge, SRI is designing a sensor system that can disappear on command.
SRI is developing an advanced system that would quickly help detect APTs and other increasingly sophisticated attacks.
Researchers have created a computer game that could transform the problem of proving software correctness.