526 search results - page 66 / 106 » Programming in JoCaml (Tool Demonstration) |
SP
2007
IEEE
14 years 2 months ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
TOG
2012
11 years 11 months ago
2012
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
MOBISEC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
ACSC
2007
IEEE
14 years 2 months ago
2007
IEEE
The design guideline avoid dependency cycles among modules was first alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a program...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...