An Unbreakable Foundation for Formally Secured Computing
BedRock Systems has developed a Formal Methods proven Trusted Computing Base that provides a virtualized environment for existing operating systems and applications, which enables the implementation of Active Security (TM) at the CPU level using policies that mitigate many cyber vulnerabilities that are not being adequately addressed today.
BUNDLAR Augmented Reality Content Management System (ARCMS)
BUNDLAR is an Augmented Reality Platform consisting of a no-code content management system and mobile application. Build and edit AR experiences in our web-based platform and instantly publish them to any supported mobile device on iOS or Android. It's everything needed to build, edit and access AR using your content.
Low-density Parity-check error correction for enabling high-density flash storage with maximum endurance and performance
Codelucida’s error-correction solutions support the next generation of densest NAND flash memories. As the densities of memories increase to enable higher storage capacities, the memories become more prone to errors and the performance degrades. Codelucida’s solutions provide the strongest error-correction with highly scalable performance and reduced power
PCert - Universal Certificate, Digital ID and Key (crypto asset) Discovery and Mitigation Plattform
PCert aims to discover, assess and support management of all computer trust relations (X.509, SSH, PGP, Keystores) wherever and whatever they are and supports you to manage them compliant to your enterprise rules independent from individuals and silos and improve your cyber security approach (SOC, CIT) with a new capability.
Active Cyber Defense for Operational Technology Networks
The Dragos Platform and OnClave Networks TrustedPlatform allow organizations to visualize, detect, & respond to Industrial Control System/Operational Technology threats and vulnerabilities.
Everykey - No more Passwords, No more Keys
Everykey is the world’s first universal smart key that wirelessly unlocks your phone, computer, tablet, and automatically logs you into your online accounts when you're nearby, then locks everything down when you walk away. Soon it will work with door locks, cars, and other access controlled devices too!
Next-Generation Industrial Data Diodes for Secure ICS Monitoring
Fend's hardware blocks ransomware and malware while extracting data from industrial control systems and sends it in a physically-enforced, one-way manner to remote monitoring platforms or the cloud. Fend's hardware has been tested by the Army and Navy and can improve operational resilience and critical network security.
Next-Generation Low-Cost Industrial Data Diodes
Fend provides affordable, physically-enforced cybersecurity for industrial control systems. Fend's data diode hardware sends data in only one direction, proven through third-party penetration testing, from industrial and other critical networks to their intended location (including the cloud) while providing an "air gap" in one direction.
Forescout Platform
Information and Operational Technology networks alike need to be secured and defended from cyber attacks. Our platform allows Administrators to secure all connected devices through common principles, using methods that are best practices for the unique environments. Implementing an integrated cybersecuity strategy will ensure cyber readiness for DoD mission success.
SECURE FULLY DIGITAL VEHICLE MAINTENANCE AND INSPECTION SOFTWARE/HARDWARE PLATFORM
LITE-CHECK, provides State-of-the-Art, Customizable, Scalable, and Integrated, Software & Hardware Vehicle System Solutions; for Diagnostic & Testing, of Industry & Government Transportation Fleets to Optimize Operational, Management, Safety, & Reporting Requirements.
SECURE FULLY DIGITAL VEHICLE MAINTENANCE AND INSPECTION SOFTWARE/HARDWARE PLATFORM
LITE-CHECK, provides State-of-the-Art, Customizable, Scalable, and Integrated, Software & Hardware Vehicle System Solutions; for Diagnostic & Testing, of Industry & Government Transportation Fleets to Optimize Operational, Management, Safety, & Reporting Requirements.
GURU
MSBAI develops a 'Universal Interface for Simulation' called GURU — a cognitive AI assistant that enables untrained users to run specialized simulation software.
TurboSBIR - "TurboTax" for SBIR/STTR Proposal Preparation and Management
TurboSBIR is a single sign-on software that helps small business find, apply, and manage for SBIR/STTR programs across all agencies from one central place. The webapp contains real-time collaboration, team management, auto-formatting, and document management features to ensure 100% compliant and high-quality submissions.
Zero Trust Security for Resilient On-Base Microgrids and Flightlines for Smart Installations of the Future
Securing Resilient On-base Microgrids and Flightlines are high priorities for Smart Installations of the Future. Our panel discussion case study review, “Zero Trust for Energy Management Control Systems” and “Flightline Security in a Box” featuring Fort Belvoir backup power microgrid owner, Spectrum Solutions integrator, AADC and Onclave Networks.
Securing Resilient On-Base Microgrids and Flightlines for Smart Installations of the Future
Onclave TrustedPlatform™ is designed to protect critical infrastructure systems (IoT/ICS/OT) including new (5G, CBRS) and legacy devices. Smart installations of the future are interconnected. By integrating techniques and technologies used by DoD and IC with our patented technology, we created a Zero Trust, purpose-built platform to run and protect enterprises.
PEKAT VISION
Software PEKAT VISION is easy to use and automates quality assurance and visual inspection tasks in manufacturing plants.
rasdaman: raster data manager
The rasdaman datacube engine unleashes spatio-temporal Big Earth Data in a flexible, ultra-fast, standards-based way. Analytics, fusion, and ML is supported without requiring coding skills. Further key features include location transparent federations; pixel-level security; operational on dozen-Petabyte assets of satellite, climate, and further data sets, up to radio networks planning.
DevSecOps Automation Platform
Refactr offers an easy to use DevSecOps automation platform purpose built for cybersecurity while still supporting the power of DevOps. Plug into existing DevOps workflows, connect with security tools, and ensure organizations continuously automate safely and seamlessly, all while enabling cybersecurity practitioners to up-skill as they shift left.
Setting a Strong Foundation for Securing Facility Related Control Systems
SEL OT SDN facilitates purpose built networks to meet applications needs used to operate, control, and monitor our critical infrastructure. It builds a foundation for OT devices to be identified and protected to meet initial cybersecurity compliance efforts and easily integrates other technologies to detect, monitor, and protect.
Automated System Integration, Testing & Certification Leveraging a Robust Data Architecture
Skayl has developed an automated integration capability, named CinC (pronounced "sync" - Configurable Infrastructure Capability) that dramatically reduces costs and timelines associated with system of systems (SoS) integration, testing and certification. The technology is based on scalable, algorithmic processes that leverage a semantic model-based engineering process and data architecture.
Tofino Firewall
Tofino is an industrial protocol-based deep packet inspection firewall that inspects packets at the protocol level providing zero day security. Tofino operates at Layer 2 and has no IP so it is undetectable on the network by an adversary while providing protection for controllers in an ICS environment.