280 search results - page 26 / 56 » Security of Multithreaded Programs by Compilation |
113
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
159
click to vote
ICFEM
2009
Springer
15 years 1 hour ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
94
Voted
CCS
2004
ACM
15 years 7 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
157
click to vote
ESORICS
2011
Springer
14 years 2 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
100
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We show that on both the x86 and ARM architectures it is possible to mount return-oriented programming attacks without using return instructions. Our attacks instead make use of c...