4386 search results - page 324 / 878 » A Tamper-Resistant Programming Language System |
138
Voted
ENTCS
2010
15 years 3 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
130
click to vote
USS
2008
15 years 5 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
121
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
114
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
131
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...