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.
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 finding new ways to detect altered and tampered video.
Researchers have created a computer game that could transform the problem of proving software correctness.