280 search results - page 4 / 56 » Security of Multithreaded Programs by Compilation |
123
Voted
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
98
Voted
IEEEPACT
2000
IEEE
15 years 6 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
121
Voted
JCS
2010
15 years 8 days ago
2010
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
130
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
65
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer