1175 search results - page 13 / 235 » Abstract computability and algebraic specification |
143
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We introduce algebraic geometric techniques in secret sharing and in secure multi-party computation (MPC) in particular. The main result is a linear secret sharing scheme...
126
click to vote
ISSAC
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
92
Voted
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
107
click to vote
ECCC
2007
15 years 1 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
132
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...