Program Synthesis for Cyber-Resilience.

Néstor Cataño

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

program synthesis
cyber security
fault tolerance
recursive programs
cyber defense
missing data
general purpose
intrusion detection
cyber crime
inductive logic programming
artificial intelligence
support vector machine