60 search results - page 1 / 12 » Microsoft windows programming strategies |
50
Voted
CROSSROADS
2006
14 years 10 months ago
2006
90
Voted
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...
ISPASS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
80
Voted
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
72
Voted
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...