239 search results - page 1 / 48 » An Architecture for Kernel-Level Verification of Executables... |
CJ
2004
13 years 4 months ago
2004
Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the...
RV
2010
Springer
13 years 2 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
TRUST
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
SEW
2003
IEEE
13 years 10 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
FMOODS
2006
13 years 6 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...