Galois was awarded a contract through the Office of Naval Research – we’re partnering with SRI to build automated tools for binary analysis and optimization to minimize software bloat and reduce costs and complexity. Read more about the effort here: http://bit.ly/1fG7S45.
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