-
1
-
2
-
3
Hails: Protecting data privacy in untrusted web applications
Veröffentlicht in Journal of computer security
VolltextArtikel -
4
Labels and Event Processes in the Asbestos Operating System
Veröffentlicht in ACM transactions on computer systems
VolltextArtikel -
5
-
6
Kademlia: A peer-to-peer information system based on the XOR metric
Veröffentlicht in Lecture notes in computer science
VolltextArtikel -
7
Flexible dynamic information flow control in the presence of exceptions
Veröffentlicht in Journal of functional programming
VolltextArtikel -
8
-
9
-
10
Labels and event processes in the asbestos operating system
Veröffentlicht in Operating systems review
VolltextArtikel -
11
Flexible dynamic information flow control in Haskell
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
12
Towards Practical Default-On Multi-Core Record/Replay
Veröffentlicht in Operating systems review
VolltextArtikel -
13
-
14
Addressing covert termination and timing channels in concurrent information flow systems
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
15
-
16
-
17
Fast and secure distributed read-only file system
Veröffentlicht in ACM transactions on computer systems
VolltextArtikel -
18
-
19
-
20