391 search results - page 33 / 79 » On Time-Aware Instrumentation of Programs |
156
Voted
MICRO
2006
IEEE
15 years 9 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...
143
Voted
ECOOP
2003
Springer
15 years 9 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...
130
Voted
ICRA
2002
IEEE
15 years 8 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...
141
Voted
POPL
2000
ACM
15 years 8 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...
181
Voted
SIGOPS
2011
14 years 10 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...