47 search results - page 7 / 10 » Per-Input Control-Flow Integrity |
127
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
98
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
121
click to vote
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
124
click to vote
CASES
2010
ACM
15 years 8 days ago
2010
ACM
Mobile computing platforms in the form of smart phones, netbooks, and personal digital assistants have become an integral part of our everyday lives. Moving ahead to the future, m...
126
Voted
ICISS
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...