2257 search results - page 14 / 452 » Secure program partitioning |
MP
2010
13 years 7 months ago
2010
: Each linear program (LP) has an optimal basis. The space of linear programs can be partitioned according to these bases, so called the basis partition. Discovering the structures...
NCA
2011
IEEE
13 years 3 months ago
2011
IEEE
—Neural Networks have been an active research area for decades. However, privacy bothers many when the training dataset for the neural networks is distributed between two parties...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
POPL
2009
ACM
14 years 9 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...