20175 search results - page 20 / 4035 » Is abstraction the key to computing |
166
click to vote
MCU
2004
15 years 5 months ago
2004
geometrical computation for Black hole computation d abstract) J
152
click to vote
INDOCRYPT
2009
Springer
15 years 11 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...
168
click to vote
FSTTCS
2010
Springer
15 years 2 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...
125
click to vote
CIE
2005
Springer
15 years 10 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...
133
click to vote
FUIN
2006
15 years 4 months ago
2006
geometrical computation 1 : embedding Black hole computations with rational numbers J