-
Solutions
-
Researching, developing, and transitioning advances in separation architectures, model-based system engineering, and mathematical analysis.
- Safety & Security AnalysisAnalyze system models for gaps in safety and security compliance, and generate documentation to support certification requirements.
- Real-time Operating System SchedulingProvide end-to-end, system-wide schedulabilty analysis, and generate real-time operating system (RTOS) schedules and configuration information
- Embedded System Tradespace AnalysisSupport least-commitment design strategies by continuously evaluating embedded system design alternatives against diverse requirements.
- Isolation TechnologyEnable virtual security enclaves within a single physical server
-
-
Initiatives
-
What’s next: Innovative research examining hard problems of national importance.
- Weird MachinesAnticipating vulnerabilities related to computer systems that employ artificial intelligence
- Education InnovationDelivering game-based education to adolescents and young adults
- Automated Behavior AnalysisDetecting vulnerabilities in embedded systems using timed automata (VOLTA)
- Code GenerationAutomating the integration of cyber-resilient components in complex systems
-
Todd Carpenter Quoted in TCB Magazine on Remote Workforce Cybersecurity Concerns
Todd Carpenter Quoted in TCB Magazine on Remote Workforce Cybersecurity Concerns
In the February/March issue of Twin Cities Business Magazine, Adventium Labs' Todd Carpenter weighs in on emerging network security threats as more and more employees work remotely.
"Ransomware 'is one of the biggest threats that's out there,' says Todd Carpenter, co-owner of Adventium Labs, a Minneapolis-based firm that develops cybersecurity technologies (he also serves as the firm's chief engineer). 'It's a great way for organized crime to quickly monetize attacks.'"
The article continues, "Even if you pay, the attackers 'can still leave their hooks in there,' he adds. 'If you get this on your home computer, it might lie dormant waiting for a high-value target,' he says. 'And as soon as you connect to the office, it will try to get into the corporate system. After all, you can make more money from a corporation than an individual.'"