Sciweavers

2 search results - page 1 / 1
» Automated Log Analysis of Infected Windows OS Using Mechaniz...
Sort
View
133
Voted
ICONIP
2009
15 years 14 days ago
Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...
Ruo Ando
136
Voted
PLDI
2004
ACM
15 years 8 months ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu