Loading...
Home/Products
Products 2017-08-07T14:34:26+00:00

CyberChaff™

CyberChaff is available as an OEM product for inclusion into your security solution. CyberChaff allows you to deploy extremely low-cost and secure decoy hosts on your network. Bad actors probing your network and seeking to do damage cannot distinguish between your actual and false nodes–this slows them down and alerts, sent by CyberChaff, notify you of their presence and activity.

LEARN MORE

FUSE™

FUSE can analyze your Android™ app as an APK (no source code needed) and in minutes. FUSE gives you a fast and easy way to determine the security posture of ANY Android application. The FUSE scanner (which can run locally or as a hosted service) gives you a full report of potential vulnerabilities and recommended fixes.

LEARN MORE

TrackOS™

TrackOS performs run-time detection of malware on real-time embedded systems. After performing a static analysis of your unmodified binaries, TrackOS is able to “know” what well-behaved tasks look like. When deployed, TrackOS can then detect if tasks are hijacked. You can then chose to be notified or execute fail-safe options.

LEARN MORE

Cryptol™

Cryptol is a domain-specific language tool suite that offers compelling assurance of hardware correctness. Cryptol works by providing direct compilation of abstract cryptographic algorithms into the industry-standard VHDL and Verilog hardware description languages. Cryptol tools can also verify equivalence of crypto algorithm specifications and equivalence of HDL and Cryptol descriptions.

LEARN MORE

SAW™

SAW is a tool suite for software developers and analysts that extracts formal models from programs and analyzes them using automated reasoning. SAW was designed to work with cryptographic implementations, and now, also supports general purpose programs.  SAW can prove that a program implements its specification correctly, and generates models for additional analysis.

LEARN MORE