391 search results - page 33 / 79 » On Time-Aware Instrumentation of Programs |
139
click to vote
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
127
click to vote
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
110
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
126
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
165
click to vote
SIGOPS
2011
14 years 8 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...