4731 search results - page 210 / 947 » Securing Interactive Programs |
149
click to vote
DBSEC
1996
15 years 3 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
111
click to vote
IFIPTM
2010
15 years 25 days ago
2010
Abstract. Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progre...
116
click to vote
ERSA
2009
15 years 4 days ago
2009
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...
154
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
106
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...