Volume 64, Number 1, July 2005
Practical development of exact real number computation
: Efficient exact computation of iterated maps.
: Real number computation with committed choice logic programming languages.
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.
: Unifying simulatability definitions in cryptographic systems under different timing assumptions.