WCAP 2007 - IV Workshop on
Cryptographic Algorithms and Protocols |
(in conjunction with SBSeg 2007)
Rio de Janeiro - Brazil
Aug 27-29, 2007
of this page
- (Aug 28) Slides for Profs. Libert and Abdalla talks available, in the course descriptions.
- (Aug 27)
deeply regret to inform that we will no longer have Prof. Claude
Crépeau for WCAP 2007. Due to some last minute visa problems it
was not possible for him to come to Brazil. We apologize for any inconveniences
that this may cause to WCAP's participants.
- (Aug 20)
- Abstracts to Profs. Barreto and Libert's short courses posted.
- Correct title of Prof. Crépeau's short course posted.
- (Aug 9) Another small change in time slots, to keep up with the general SBSeg schedule.
- (Aug 6) Slight change in time slots, in order to follow the new SBSeg time slots.
- (Aug 1) New (still
posted. Please note several changes from the previous one, notably the
days of the week in which WCAP will happen: previously from Tuesday
28th to Thurday 30th, now from Monday 27th to Wednesday 29.
25) Preliminary program for WCAP 2007 posted.
Description of short courses
The main purpose
of WCAP is to bring together researchers and students
in cryptography in Brazil and neighboring countries, in order to foster
the development of cooperative research projects. The usual
format of the workshop includes short courses presented by well known
researchers in different areas of cryptography.
year, we have the following short
in the line-up (titles are still
A Survey of Cryptographic Schemes
with Special Properties, by Prof. Michel
Abdalla (École Normale
Paulo Barreto (Universidade de São
Non-Locality and multi-prover Zero-knowledge proofs ,
Claude Crépeau (MCGill University,
Canada) (corrected) (cancelled)
- (CL) Quantum Computing,
Carlile Lavor (Universidade Estadual de Campinas,
- (BL) Provable Security of Pairing-based
Cryptographic Protocols: Public-key Encryption and Signature Schemes, by Prof.
Benoît Libert (Université
Catholique de Louvain, Belgium)
Some of these
speakers will also give keynote
to a more general audience at SBSeg 2007.
Please check the SBSeg
for the schedule.
We are planning
a crypto and beer
Post-quantum Cryptography, by Prof.
Paulo Barreto (schedule) [slides]
- Abstract: Shor's
algorithm can break essentially all PKC systems currently deployed in
practice, including RSA and ECC. Given the recent progress in the
construction of quantum computers, it is therefore advisable to
investigate how to circumvent this potential security threat, not only
with purely quantum cryptosystems but also with classical techniques
that seem capable of resisting quantum attacks, which mitigate the
migration burden on legacy platforms. This introductory short course
will survey present proposals for such so-called "post-quantum"
cryptosystems as broadly as possible, indicating their pros and cons
and puttingin perspective the trends in the subject.
- (CL) Quantum
Computing, by Prof.
Carlile Lavor (schedule) [slides: part1, part2]
This talk will present basic concepts of quantum computing and it is
intended for non-specialists which have basic knowledge on
undergraduate linear algebra. We will give special attention to quantum
algorithms for factoring integers and for finding discrete logarithms,
which are exponentially faster when compared to the known classical
You can find here a pdf file of the text (in Portuguese) Uma introdução à Computação Quântica,
of the series "Notas em Matemática Aplicada" of the Brazilian
Society of Applied Math, of which Prof. Lavor is one of the coauthors.
Provable Security of Pairing-based Cryptographic Protocols: public key encryption and signature schemes,
Benoît Libert (schedule) [slides: part1, part2]
The first part of this course will cover recent advances in the design
of public key encryption schemes using pairings. It will mainly focus
on identity-based encryption and chosen-ciphertext secure public key
encryption. We will outline how the security of these primitives can be
proven in the standard model. The second part will give an overview of
pairing-based short signatures, their extensions as well as the
computational assumptions that their security relies on.
Courses are indicated by the
speakers' initials. Keynote talks are directed to the general SBSeg audience as well.
and contact (back
Venue, accomodations, how to arrive
Please refer to the SBSeg 2007 page.Crypto and beer
Time and place to be announced.
maintained by R.