20175 search results - page 20 / 4035 » Is abstraction the key to computing |
128
Voted
MCU
2004
15 years 1 months ago
2004
geometrical computation for Black hole computation d abstract) J
114
Voted
INDOCRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Contrary to conventional cryptographic wisdom, the NIST SP 800-56A standard explicitly allows the use of a static key pair in more than one of the key establishment proto...
130
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
CIE
2005
Springer
15 years 6 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
107
click to vote
FUIN
2006
15 years 13 days ago
2006
geometrical computation 1 : embedding Black hole computations with rational numbers J