533 search results - page 23 / 107 » Control flow based obfuscation |
129
click to vote
ISOLA
2010
Springer
15 years 24 days ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
124
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
125
click to vote
CSL
2005
Springer
15 years 8 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
126
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...
102
click to vote
ISCC
2003
IEEE
15 years 7 months ago
2003
IEEE
In today’s Internet a user can be adversely affected by other users that overload the router. To address this problem, routers need to provide flow isolation. In this paper, we...