4305 search results - page 383 / 861 » Analysing Protocol Implementations |
212
Voted
EUROPKI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
268
click to vote
COMPLEXITY
2010
15 years 1 months ago
2010
The paper presents the use of signal regulatory networks, a biologically-inspired model based on gene regulatory networks. Signal regulatory networks are a way of understanding a ...
175
click to vote
JLP
2010
15 years 1 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
235
click to vote
FSE
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present new results on the second-round SHA-3 candidate ECHO. We describe a method to construct a collision in the compression function of ECHO-256 reduced to fou...
239
click to vote
NAR
2011
14 years 9 months ago
2011
The Phospho.ELM resource (http://phospho.elm.eu .org) is a relational database designed to store in vivo and in vitro phosphorylation data extracted from the scientific literature...