621 search results - page 109 / 125 » Efficient Secure Multi-party Computation |
ENTCS
2008
13 years 11 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
CSSE
2006
IEEE
13 years 11 months ago
2006
IEEE
The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...
CRYPTO
2008
Springer
14 years 21 days ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
IOR
2006
13 years 11 months ago
2006
The stochastic differential equations for affine jump diffusion models do not yield exact solutions that can be directly simulated. Discretization methods can be used for simulati...
BIRTHDAY
2003
Springer
14 years 4 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...