Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning.

Ruo Ando

Browse the full ICONIP paper archive.