International Association for Cryptologic Research

IACR News Central

Get an update on changes of the IACR web-page here. For questions, contact newsletter (at) iacr.org. You can also get this service via

To receive your credentials via mail again, please click here.

You can also access the full news archive.

Further sources to find out about changes are CryptoDB, ePrint RSS, ePrint Web, Event calender (iCal).

2011-09-19
11:10 [Job][New] Ph.D. student, University of Luxembourg

  We are looking for a Ph.D. student in the area of formal methods based approaches to computer security and electronic privacy. The successful candidate will join the SaToSS group led by Prof. Dr. Sjouke Mauw.

Profile:

  • A Master\'s degree in Computer Science, Mathematics, or a related field.
  • Prior exposure to and strong interest in formal methods.
  • Prior exposure to and strong interest in computer and information security.
  • Inquisitiveness, creativity, critical attitude.
  • Very good written and oral English skills.

Employment:

The candidate will be employed as a Junior Researcher at the Faculty of Sciences, Technology and Communication of the University of Luxembourg. The initial contract will be for three years (40 hours/week) with a six month trial period. The contract may be extended once by one year.



08:22 [Job][New] Research Scientists , Institute for Infocomm Research, Singapore

  Network Security Group at Institute for Infocomm Research is looking for research scientists. Candidates should have a PhD degree in information security and strong R&D capability (especially on network security). They are expected to create valuable intellectual properties, publish papers at leading conferences and journals, and produce project deliverables in time. Fresh PhD is welcome to apply.



2011-09-17
18:01 [Event][New] CFP - ISeCure Special Issue on Information Hiding

  Submission: 20 November 2011
Notification: 29 February 2012
From March 15 to July 1
Location: Tehran, Iran
More Information: http://isecure-journal.org/Doc/CfP-IH-SpecialIssue.pdf




2011-09-16
16:27 [Job][Update] Research Assistant/Research Associate in Cryptography (two posts), University of Bristol

  Based in the Cryptography group within the Department of Computer Science, you will work on one of the the areas of cryptography detailed below.

Position 1

You will have a background in either lattice based cryptography or computational number theory. The project is to examine various aspects of lattices related to Fully Homomorphic Encryption schemes. We would be interested in applicants who can contribute on the mathematical analysis of the underlying hard lattice problems (either theoretically or experimentally), or in applicants who can contribute on the cryptographic side by developing new schemes and protocols.

Position 2

You will have a background in formal security protocol analysis. The project is to examine how \"cryptographic proofs\" can be automated by using techniques from formal methods, allied with tools and techniques from programming language theory. Experience with using a tool such a ProVerif, CryptoVerif, Isabelle, FDR would be an advantage, but not required. Applicants who are interested in applying these techniques to real world protocols are encouraged to apply.

Applicants with a strong theoretical or practical understanding in other aspects of modern cryptography are also encouraged to apply, if they feel they could contribute to the projects detailed above.

The posts are funded by an ERC Advanced Grant awarded to Professor Nigel Smart and you will work closely with members of the Cryptography research group; in particular Professor Nigel Smart, and Dr Bogdan Warinschi.

The expected starting date will be as soon as possible depending on your circumstances.Salary dependent on experience and qualifications. Please indicate whether you wish to apply for position 1, 2 or both on your application form.

Contract: Fixed Term Contract (3 - 4 years)

Salary: £29,972 - £37,990





2011-09-15
17:41 [PhD][New] Phan Duong Hieu: Sécurité et efficacité de schémas cryptographiques

  Name: Phan Duong Hieu
Topic: Sécurité et efficacité de schémas cryptographiques
Category: public-key cryptography

Description: Provable security is nowadays one of the major lines of research in Cryptography. It aims at providing security proofs of cryptographic schemes in a complexity–theoretical sense: if one can break the scheme, one can solve the underlying problem. Provable security is strongly related to three main trends in the development of Cryptology: formalization of security notions, design of cryptographic systems, and development of new cryptographic features.\r\n
\r\nIn this thesis, we first deal with notions of security in both asymmetric and symmetric encryption. We study more in detail the relation between different attack models in asymmetric encryption. We also establish the relation between the notion of (super) pseudo–random permutation and that of semantic security in symmetric encryption.\r\n
\r\nSecondly, we propose new efficient constructions for asymmetric encryption in the random oracle model (new paddings for encryption, and universal paddings for both encryption and signature). Furthermore, we introduce a new class of public–key encryption schemes: chosen ciphertext secure schemes without redundancy. Up to now, redundancy used to be required for proofs of security in public–key encryption schemes.\r\n
\r\nFinally, we consider the traitor tracing problem in broadcast encryption and we introduce a new feature: public traceability. We construct a basic scheme with such feature, and then generalize it to achieve almost optimal transmission rates.[...]


17:38 [Job][New] Research Assistant/Research Associate in Cryptography (two posts), University of Bristol

  Based in the Cryptography group within the Department of Computer Science, you will work on one of the the areas of cryptography detailed below.

Position 1

You will have a background in either lattice based cryptography or computational number theory. The project is to examine various aspects of lattices related to Fully Homomorphic Encryption schemes. We would be interested in applicants who can contribute on the mathematical analysis of the underlying hard lattice problems (either theoretically or experimentally), or in applicants who can contribute on the cryptographic side by developing new schemes and protocols.

Position 2

You will have a background in formal security protocol analysis. The project is to examine how "cryptographic proofs" can be automated by using techniques from formal methods, allied with tools and techniques from programming language theory. Experience with using a tool such a ProVerif, CryptoVerif, Isabelle, FDR would be an advantage, but not required. Applicants who are interested in applying these techniques to real world protocols are encouraged to apply.

Applicants with a strong theoretical or practical understanding in other aspects of modern cryptography are also encouraged to apply, if they feel they could contribute to the projects detailed above.

The posts are funded by an ERC Advanced Grant awarded to Professor Nigel Smart and you will work closely with members of the Cryptography research group; in particular Professor Nigel Smart, and Dr Bogdan Warinschi.

The expected starting date will be as soon as possible depending on your circumstances.Salary dependent on experience and qualifications. Please indicate whether you wish to apply for position 1, 2 or both on your application form.

Contract: Fixed Term Contract (3 - 4 years)

Salary: £29,972 - £37,990



17:37 [Event][New] PSD 2012: Privacy in Statistical Databases

  Submission: 20 May 2012
Notification: 29 June 2012
From September 26 to September 28
Location: Palermo, Italy
More Information: http://unescoprivacychair.urv.cat/psd2012/




2011-09-14
09:25 [Event][Update] COSADE '12: 3rd Int. Workshop on Constructive Side-Channel Analysis and Secure Design

  Submission: 12 December 2011
Notification: 14 February 2012
From May 3 to May 4
Location: Darmstadt, Germany
More Information: http://cosade2012.cased.de


09:24 [Event][New] ACISP 2012: The 17th Australasian Conference on Information Security and Privacy

  Submission: 23 February 2012
Notification: 13 April 2012
From July 9 to July 11
Location: Wollongong, Australia
More Information: https://ssl.informatics.uow.edu.au/acisp2012/




2011-09-12
13:48 [Job][New] Post-Doc, Ecole normale superieure, Paris, France

  The successful applicant will participate in the project BEST (Broadcast Encryption for Secure Telecommunications) financed by the French governmental research funding agency ANR (Agence Nationale de la Recherche), see https://crypto.di.ens.fr/best.

The partners involved in the project are the crypto teams of ENS, University of Paris 8, Thal�s, Nagra and CryptoExperts.

Applicants who have a PhD degree in Computer Science/Mathematics or related discipline are encouraged to apply. They should have strong publications focusing on public-key cryptography. Further skills in complexity and coding theory will also be very appreciated.





2011-09-09
22:25 [Event][New] Africacrypt 2012: Fifth international conference on Cryptology, Africacrypt 2012

  Submission: 5 January 2012
Notification: 22 April 2012
From July 10 to July 12
Location: Marrakech, Morocco
More Information: http://www.ensa.ac.ma/africacrypt/