Section: Contracts and Grants with Industry

Contracts with Industry

Consulting for Core Security Technologies

Participant : Jörg Hoffmann.

Core Security Technologies is an U.S.-American/Argentinian company providing, amongst other things, tools for (semi-)automated security checking of computer networks against outside hacking attacks. For automation of such checks, a module is needed that automatically generates potential attack paths. Since the application domain is highly dynamic, a module allowing to declaratively specify the environment (the network and its configuration) is highly advantageous. For that reason, Core Security Technologies have been looking into using AI Planning techniques for this purpose. After consulting by Jörg Hoffmann (see also below), they are now using a variant of Jörg Hoffmann's FF planner – developed during his PhD work at the University of Freiburg, Germany (cf. Section  5.1 ) – in their product. Core Security Technologies payed Jörg Hoffmann for the consulting as an Auto-Entrepreneur.