3552 search results - page 583 / 711 » Proof theory in the abstract |
162
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
172
click to vote
ACNS
2008
Springer
16 years 24 days ago
2008
Springer
Abstract. Very recently, the concept of Traceable Identity-based Encryption (IBE) scheme (or Accountable Authority Identity based Encryption scheme) was introduced in Crypto 2007. ...
208
click to vote
ANSS
2007
IEEE
16 years 24 days ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
186
click to vote
APPROX
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. A fundamental goal of computational complexity (and foundations of cryptography) is to find a polynomial-time samplable distribution (e.g., the uniform distribution) and...
142
click to vote
IH
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Dittmann, Katzenbeisser, Schallhart and Veith (IACR ePrint 2004) introduced the notion of invertible media authentication schemes, embedding authentication data in media ...