519 search results - page 89 / 104 » Control flow obfuscation with information flow tracking |
AGP
1998
IEEE
14 years 1 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
FPGA
1997
ACM
14 years 27 days ago
1997
ACM
Configurable Computing Machines (CCMs) are an emerging class of computing platform which provide the computational performance benefits of ASICs, yet retain the flexibility and ra...
HYBRID
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
DSONLINE
2006
13 years 8 months ago
2006
In the past, it was very common to develop middleware without consideration of security from the very beginning. To integrate security, the middleware that should be protected has...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...