SRI announced this week that, with Galois’ help, it is beginning final development of a trusted mobile device for the U.S. Marine Corps. Galois is pleased to be working with SRI on improving the trustworthiness of commercial mobile phones. Read more about it here.
Categories
- Artificial Intelligence
- Conferences
- Cryptography
- Cyber-Physical Systems
- Data Science
- Demo
- Digital Engineering
- Domain Specific Languages
- Elections
- Formal Methods
- Functional Programming
- Hardware
- Highlights
- Human Factors Engineering
- Life at Galois
- Machine Learning
- Mobile Security
- Network Security
- News
- Open-source
- Security
- Systems Software
- Tech Talks
- Tools
- Uncategorized