Searching for "Secure program partitioning." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Secure Program Partitioning
- …Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers…
- Cited by 40 (12 self) – Add To MetaCart
-
Secure Program Partitioning in Dynamic Networks
- …Secure Program Partitioning in Dynamic Networks Dan Søndergaard Kongens Lyngby 2006 IMM-M.Sc-2006…
- Cited by 1 (0 self) – Add To MetaCart
-
Untrusted Hosts and Confidentiality: Secure Program Partitioning
- …Abstract Untrusted Hosts and Confidentiality: Secure Program Partitioning Steve Zdancewic Lantian…
- Cited by 39 (6 self) – Add To MetaCart
-
Secure Dynamic Program Repartitioning
- …,probst}@(email omitted); Abstract Secure program partitioning has been introduced as a language-based technique to allow…
- Cited by 1 (0 self) – Add To MetaCart
-
Confidentiality and Integrity with Untrusted Hosts
- … new approach, secure program partitioning, translates programs written assuming complete trust in a…
- Cited by 4 (1 self) – Add To MetaCart
-
Using replication and partitioning to build secure distributed systems
- … not track information propagation. Recently, secure program partitioning [61] has been proposed as a way…
- Cited by 23 (8 self) – Add To MetaCart
-
unknown title
- ….Recently, secure program partitioning [61] has been proposed as a way to solve this problem. The Jif…
- Add To MetaCart
-
Confidentiality and Integrity with Untrusted Hosts
- … approach, secure program partitioning, translates programs written assuming complete trust in a single…
- Add To MetaCart
-
Programming Languages for Information Security
- … program partitioning, in which a program can automatically be partitioned to run securely…
- Cited by 18 (5 self) – Add To MetaCart
-
Enforcing robust declassification and qualified robustness
- …. (In fact, robustness was inspired by the work on secure program partitioning.) A recent survey…
- Cited by 12 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
