For security operations, threat-intelligence and risk teams wanting a tool to get access to auto-monitored assets exposed to attack surfaces
Criminal IP’s Attack Surface Management (ASM) is a threat-intelligence–driven platform that continuously discovers, inventories, and monitors every internet-connected asset associated with an organization, including shadow and forgotten resources, so teams see their true external footprint from an attacker’s perspective. The solution combines automated asset discovery with OSINT techniques, AI enrichment and advanced threat intelligence to surface exposed hosts, domains, cloud services, IoT endpoints and other Internet-facing vectors, capture evidence (screenshots and metadata), and correlate findings to known exploitability and attacker tradecraft. ASM prioritizes exposures by business context and risk, highlights vulnerable components and misconfigurations, and provides real-time alerts and dashboards to speed investigation and remediation.
Learn More
The Apple Device Management and Security Platform
For IT teams at organizations that run on Apple
Achieve harmony across your Apple device fleet with Kandji's unmatched management and security capabilities.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
Hippal is an integrating GUI-framework for a multimodular symbolic A.I.-system IPAL, which combines A.I. Planning, Inductive Program Synthesis, Analogical Reasoning and Learning.
Hippal is client-/server-based and uses the Lili Lisp Interpreter as Centr
A behavioral synthesis tool infrastructure and software framework, translating sequential algorithms into hardware descriptions expressed in a hardware description language (HDL).