Search Sciweavers | Sciweavers

2257 search results - page 33 / 452

» Secure program partitioning

click to vote

CCS
2007
ACM

98views Security Privacy» more CCS 2007»

Analysis of three multilevel security architectures

14 years 2 months ago

Download cisr.nps.edu

Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...

Timothy E. Levin, Cynthia E. Irvine, Clark Weissma...

claim paper

Read More »

click to vote

CCS
2011
ACM

193views Security Privacy» more CCS 2011»

Automatically optimizing secure computation

12 years 8 months ago

Download www.fkerschbaum.org

On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have signiﬁcantly simpliﬁed the development of such protocols. On the other hand, ...

Florian Kerschbaum

claim paper

Read More »

click to vote

POPL
1998
ACM

111views Programming Languages» more POPL 1998»

The SLam Calculus: Programming with Secrecy and Integrity

14 years 28 days ago

Download www.cs.cornell.edu

The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...

Nevin Heintze, Jon G. Riecke

claim paper

Read More »

click to vote

OOPSLA
2007
Springer

113views Security Privacy» more OOPSLA 2007»

Streamflex: high-throughput stream programming in java

14 years 2 months ago