47 search results - page 3 / 10 » Per-Input Control-Flow Integrity |
ISW
2010
Springer
13 years 3 months ago
2010
Springer
Computer malwares (e.g., botnets, rootkits, spware) are one of the most serious threats to all computers and networks. Most malwares conduct their malicious actions via hijacking t...
LISP
2002
13 years 5 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
ESOP
2006
Springer
13 years 9 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
IEEESCC
2009
IEEE
13 years 3 months ago
2009
IEEE
Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, ag...
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
Heterogeneous Business Process Modeling (BPM) schemas have been a problem for business process management throughout the last couple of years. Although there are several standardiz...