http://www.ec2002.tue.nl21st Annual International Conference on the Theory and Applications of Cryptographic Techniques. Amsterdam, The Netherlands; 28 April aˆ“ 2 May 2002.2002Eurocrypt 2002 index page
April 28 - May 2, 2002, Amsterdam, The Netherlands
For registration you may download and print these
Personalized registration forms for those who have attended Eurocrypt in recent years are currently being mailed out by the IACR
There are three registration forms:
Form A (required) foreurocryptcryptologycryptographycryptanalysisRSAAESDESSSLsecuritydigital cashdigital signatureauthentication
Points In Computer Science
points play a fundamental role in several areas of computer
science and logic by justifying induction and recursive definitions.
The construction and properties of fixed points have been investigated
in many different frameworks. The aim of the workshop is to provide a
waiting for hand_moderation
Computer-Aided Verification
All CAV sessions moved to Auditorium
the fourteenth in a series dedicated to the advancement of the theory and
practice of computer-assisted formal analysis methods for software and
hardware systems. The conference covers the spectrum from theoretical results
to
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.