458 search results - page 36 / 92 » Symbolic Object Code Analysis |
ENTCS
2006
13 years 8 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
IJNSEC
2008
13 years 8 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this work a new method is proposed for coding artifact reduction of MPEG compressed video sequences. The method makes use of a simple cost-effective technique that allows the b...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...