Volume 64, Number 1, July 2005

Practical development of exact real number computation

• 
  Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann: Guest editors' introduction: Special issue on practical development of exact real number computation. 1-2
• 
  Hans-Juergen Boehm: The constructive reals as a Java library. 3-11
• 
  Valérie Ménissier-Morain: Arbitrary precision real arithmetic: design and algorithms. 13-39
• 
  Jens Blanck: Efficient exact computation of iterated maps. 41-59
• 
  Hideki Tsuiki: Real number computation with committed choice logic programming languages. 61-84
• 
  Chen Li, Sylvain Pion, Chee-Keng Yap: Recent progress in exact geometric computation. 85-111
• 
  Mark Sofroniou, Giulia Spaletta: Precise numerical computation. 113-134
• 
  Nathalie Revol, Kyoko Makino, Martin Berz: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. 135-154

Volume 64, Number 2, August 2005

Modelling and Verification of Cryptographic Protocols

• 
  Roberto M. Amadio: Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols. 155
• 
  Michael Backes: Unifying simulatability definitions in cryptographic systems under different timing assumptions. 157-188
• 
  Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract signing, optimism, and advantage. 189-218
• 
  Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma: Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. 219-251
• 
  Neil Evans, Steve A. Schneider: Verifying security protocols with PVS: widening the rank function approach. 253-284
• 
  Benjamin Aziz, Geoff W. Hamilton, David Gray: A static analysis of cryptographic processes: the denotational approach. 285-320