IACR News
If you have a news item you wish to distribute, they should be sent to the communications secretary. See also the events database for conference announcements.
Here you can see all recent updates to the IACR webpage. These updates are also available:
23 October 2018
University of Oxford Mathematical Institute in association with Lincoln College
The combined University and College salary scale has a minimum point of £47,263 per annum. In addition the College pays substantial additional benefits, including a housing allowance of £9,316 p.a. (or single accommodation if available); access to housing loan scheme (upon successful application); membership of a medical insurance scheme; and other allowances including tutor’s allowance of £3,000 p.a. An additional allowance of £2,754 p.a. would be payable upon award of Full Professor title.
The main duties of the post are to carry out, disseminate the results of, obtain funding for, and supervise research at a high international standard in mathematical cryptography, to teach a range of topics in mathematics via lectures, classes and tutorials, and to perform administrative and pastoral functions associated with teaching and research.
The successful candidate will have a PhD in mathematics or a closely related subject and will demonstrate the ability to carry out high-quality independent research at an international level in mathematical cryptography, broadly conceived but firmly rooted in advanced mathematics, along with the ability to teach effectively across a range of topics in mathematics. The duties and responsibilities of the post are set out in the job description.
Applications are particularly welcome from women and black and minority ethnic candidates, who are under-represented in academic posts in Oxford. The University is committed to equality and valuing diversity.
The department was awarded an Athena SWAN Silver Award in 2017 in recognition of its commitment to addressing gender inequalities, to tackling the unequal representation of women in science, and to improving career progression for female academics.
Closing date for applications: 19 November 2018
Contact: The Recruitment Administrator (email: vacancies (at) maths.ox.ac.uk; telephone: +44 (0) 1865 273518)
More information: https://www.maths.ox.ac.uk/node/30043
Inria, Paris, France
He/she will work on improvements and extensions of CryptoVerif (http://cryptoverif.inria.fr). CryptoVerif is a computational security protocol verifier that generates proofs by sequences of games, like proofs manually written by cryptographers. It is implemented in OCaml.
Possible directions among which he/she will be able to choose include:
- new game transformations.
- reduce the size of games.
- specialized prover to simplify random oracle calls, based on indifferentiability lemmas.
- deal with mutable state and loops.
- improve the compatibility with the symbolic protocol verifier ProVerif (http://proverif.inria.fr).
- interface with EasyCrypt (https://www.easycrypt.info/), to delegate parts of proofs to EasyCrypt, in collaboration with some EasyCrypt authors (Pierre-Yves Strub, Benjamin Grégoire, Clément Sartori).
His/her own ideas of research directions will also be most welcome. His/her work will be both theoretical (design, soundness proofs) and practical (implementation, tests). He/she will publish his/her work in high quality computer science conferences. He/she will collaborate with members working on CryptoVerif (Bruno Blanchet, Benjamin Lipp, Karthikeyan Bhargavan).
We will also consider applications of research engineers; the engineer would focus on the implementation part.
- Required expertise:
- knowledge in cryptography and/or in formal methods: program semantics, static analysis, program transformations
- knowledge of OCaml (object part not required)
- fluency in English
- PhD in computer science
- Duration: initial contract 1 year, possibility of extensions.
- Start: beginning of 2019 (2 months hiring delay).
- Please send detailed curriculum vitae, motivation letter, and references to Bruno Blanchet, bruno.blanchet (at) inria.fr
Closing date for applications: 21 December 2018
Contact: Bruno Blanchet, bruno.blanchet (at) inria.fr
More information: http://prosecco.inria.fr/personal/bblanche/postdoc.html
ENS de Lyon, France
The post-doc will work with the cryptography researchers of ENS de Lyon. Topics covered by the group cover: protocols, functional encryption, foundations of lattice-based cryptography, lattice algorithms, cryptanalysis, pseudo-random functions.
Applicants should have already completed a PhD in a relevant area (or be very near PhD completion). They should have an outstanding research track record in cryptography or a relevant area (typically results published in top tier venues). They should demonstrate scientific creativity and research independence.
This is a full-time, fixed-term position based in Lyon. Duration is negotiable. Salary can be adapted based on experience.
Applications should be sent by email to benoit[dot]libert[at]ens-lyon[dot]fr, alain[dot]passelegue[at]ens-lyon[dot]fr, damien[dot]stehle[at]gmail[dot]com, fabien[dot]laguillaumie[at]ens-lyon[dot]fr. They should include a CV, a list of publications (with the top 3 ones highlighted) and contact information of two persons who are willing to give references.
Closing date for applications: 1 February 2019
Input Output Hong Kong -
You will have a good understanding of cryptography (e.g. mathematics, information theory, primitives, implementations) and the ability to deliver working implementation related to these domains. The ideal candidate should understand and follow best engineering processes and practices and should demonstrate a working knowledge of a functional programming language (preference is for Haskell), and system languages (preferably Rust or C).
Skills & Requirements:
Skills and Knowledge – - A solid understanding of cryptography: basic theory & use. System programming experience. Ability to translate specifications (e.g. cryptography research papers, RFCs) into working code. Know when and how to use basic cryptographic primitives. Can reason about complex & abstract problems
Completion of a relevant degree such as Computer Science, Software Engineering, Mathematics or a related technical discipline.
Responsibilities - Read & review cryptographic research papers and implement them as a prototype. Improve existing implementations of common cryptographic primitives and/or interface/translate them to a different programming language. Transform prototypes into production level projects. Interact and coordinate with research, engineering and product management teams
Desired competencies - We are particularly interested in at least one of them having the following profile: Familiarity and/or experience with privacy enhancing cryptographic technologies, e.g., zero-knowledge proofs and/or SNARKs, multi-party computation, and differential privacy. Functional programming experience (Preferably Scala or Haskell)
Closing date for applications: 30 November 2018
Contact: david.rountree (at) iohk.io
More information: https://iohk.io/careers/#op-286193-specialized-cryptography-engineer-
Oregon State University
Oregon State University is located in Corvallis, at the heart of Oregon’s Willamette Valley and close to Portland’s Silicon Forest with numerous collaboration opportunities. The School of EECS has 60 tenured/tenure-track faculty members and 425 graduate students (206 Ph.D. students). Among the faculty, we have one member of the National Academy of Engineering, 18 professional society (IEEE and ACM) fellows, and 25 Young Investigator/CAREER Award recipients. Many faculty members of the School of EECS are also active participants of the recently established Collaborative Robotics and Intelligent Systems (CoRIS) Institute.
We are an Affirmative Action/Equal Opportunity employer.
Closing date for applications: 1 December 2018
Contact: Apply online at https://jobs.oregonstate.edu/postings/67888 (posting #P02523UF) with the following documents: A letter of interest; vita; a two-page statement of research interests; a one-page statement of teaching interests; a one-page statement on efforts towards equity and inclusion; and names and contact information for at least three references
More information: https://jobs.oregonstate.edu/postings/67888
18 October 2018
QED-it Systems Ltd
QED-it, a funded Tel-Aviv based startup, is looking for experienced software engineers to join its core team. We are tackling the hardest and most interesting problems in the Blockchain space - solving the consensus/privacy paradox, using zero-knowledge-proofs. ZKP is a new technology, that up until recently was solely explored in academia.
We are funded by smart money from top tier angels, and have assembled a team of experts in cryptography, computer science, security and distributed systems.
QED-it is building a unique product combining cutting-edge technology, design and implementation of cryptographic protocols and user/developer-facing APIs. We’re looking to expand our team with more great individuals!
As a Software Engineer working on Protocol, you will:
- Apply zkSNARKs and design protocols in a variety of use-cases
- Collaborate with research scientists to implement cutting-edge cryptography efficiently
- Develop tools to make cryptographic constructions deployable in a multitude of environments
About you
- You have a few years of work experience in software engineering roles, preferably with some experience in using experimental technologies, cutting-edge environments, languages and algorithms
- Have a strong sense of long-term/delivery trade-off
- Looking to be a part of a product bridging multiple levels of complexity in its first stages
- Good communication skills and able to quickly adapt to new challenges when needed
- You enjoy work in a fluctuating environment, dealing with (some) uncertainty
- Without using Google, you know what Q.E.D. means, possibly even 2 different meanings
What you get
- Competitive full-time compensation
- A driver seat at an expanding, global technology company in an exciting, emerging industry
- Sharp, motivated peers who can’t wait to meet you :)
Closing date for applications: 31 December 2018
Contact: Emilie NOEL
Head of recruiting
emilie (at) spike.partners
+33668285589
More information: https://qed-it.breezy.hr/p/cc072d5f4fda-software-engineer-cryptography
DTU Compute’s Section for Cyber Security
The aim of the new position is to expand the Section’s research in symmetric cryptology and align it with potential novel threats.
The research field of this new Postdoc position is within post-quantum security for symmetric cryptographic algorithms, both basic primitives and modes of operation. We aim to hire two postdocs with complementary skill sets: one with more focus on symmetric cryptography and cryptanalysis as well as one with more emphasis on quantum computing and algorithms
Responsibilities and tasks
The main tasks of these postdoc positions are to analyze existing symmetric cryptographic primitives with respect to post-quantum challenges as well as to design and evaluate new primitives to address these challenges. In this position, you will actively engage in our ongoing and prospective research activities on analysis and design of block ciphers, hash functions, authentication schemes and authentication encryption schemes from the point of view of post-quantum security.
External stays are planned at our research partners in Europe
Application procedure
To apply, please read the full job advertisement at www.career.dtu.dk
Application deadline: 1 December 2018
DTU is a technical university providing internationally leading research, education, innovation and scientific advice. Our staff of 6,000 advance science and technology to create innovative solutions that meet the demands of society, and our 11,200 students are being educated to address the technological challenges of the future. DTU is an independent academic university collaborating globally with business, industry, government and public agencies.
Closing date for applications: 1 December 2018
Contact: Further information can be obtained from Assoc. Prof. Andrey Bogdanov, anbog (at) dtu.dk.
More information: http://www.dtu.dk/english/about/job-and-career/vacant-positions/job?id=2d6700e5-dc27-4904-8651-31db7a1d607c
Worcester Polytechnic Institute
The successful candidate will have a strong background in the broad area of Cybersecurity and privacy, with expertise subdomains including Blockchains and decentralized trust, secure computation, hardware security and side-channel analysis, adversarial learning, and security in the cloud and IoT devices.
Candidates must have a Ph.D. degree in Electrical Engineering, Computer Engineering or related areas with outstanding academic credentials that clearly demonstrate their ability to conduct independent and successful research in their areas of expertise and to build cross-disciplinary research programs. Applicants must show potential for an innovative and sustainable research and teaching career. WPI expects faculty to be involved in a balance of research, teaching and service activities, including mentoring student project and thesis work at the undergraduate, master’s and doctoral levels.
Applications should include curriculum vitae, statements of teaching and research interests, and a list of five professional references. This search will remain open until the position is filled.
Closing date for applications: 1 July 2019
Contact: Berk Sunar, Professor.
Electrical & Computer Engineering Dept.
Worcester Polytechnic Institute
sunar\'at\'wpi.edu
More information: https://bit.ly/2NOUIEE
16 October 2018
Oregon State University, School of EECS
Apply online at https://jobs.oregonstate.edu/postings/67888 (posting #P02523UF) with the following documents: A letter of interest; vita; a two-page statement of research interests; a one-page statement of teaching interests; a one-page statement on efforts towards equity and inclusion; and names and contact information for at least three references. To be assured full consideration, applications must be received by December 1, 2018.
Closing date for applications: 1 December 2018
Contact: Mike Rosulek: rosulekm (at) eecs.oregonstate.edu
More information: https://jobs.oregonstate.edu/postings/67888
13 October 2018
ETH Zurich
The successful candidate will build a leading research programme in the area of computing architectures that addresses security concerns (data integrity, user authentication, and privacy) from a hardware perspective. Topics of interest include, but are not limited to, the development of architectures designed with both performance and security in mind, such as specific hardware implementations for computing on encrypted data, efficient post-quantum cryptography and novel hardware solutions to prevent side-channel (power, timing) attacks. He or she is expected to collaborate and interact with colleagues in the department and at ETH Zurich, benefiting from strong activities on integrated circuits (e.g. the Microelectronic Design Center) and on security and privacy (e.g. the Zurich Information Security and Privacy Center).
Closing date for applications: 15 January 2019
Contact: Applications through online forms from the URL below:
More information: https://bit.ly/2CGCTXg
University of Washington, Tacoma
Network and Internet Security
Principles of Cybersecurity
Information Assurance, Risk Management and Security Strategies
Cybersecurity Management
Server-Side Web Programming
Database Systems Design & Administration
Network and System Administration
Course description can be found at: https://www.washington.edu/students/crscatt/tcsl.html, and
https://www.washington.edu/students/crscatt/tinfo.html
Screening of applications will begin on December 15, 2018, and will continue until the position is filled. Salary is competitive and will be commensurate with experience and qualifications. For additional information, please contact MCL/IT Lecturer Search Committee at mcl (at) uw.edu.
Required Education:
This position requires a minimum of an MS or foreign equivalent in Cybersecurity, Information Technology, or a related field at the time of appointment.
Required Work Experience:
This position requires at least 1 year of teaching experience in Cybersecurity/ Information Technology-related areas.
Application Instructions
Curriculum Vitae
A cover letter including:
A list of courses in which you feel qualified for teaching
Evidence of prior teaching success
Statement about demonstrated commitment to diversity in teaching, mentoring, and/or service
Contact information for three references
Closing date for applications: 31 March 2019
More information: http://apply.interfolio.com/53684
University of Duisburg-Essen
For the DFG Collaborative Research Center CRC 1119 CROSSING (Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments) the University Duisburg-Essen, Faculty of Business Administration and Economics, Department Computer Science, Working Group Computer Science with focus on Secure Software Systems at Campus Essen seeks to hire one Research Assistant / PhD Student (full position, salary based on E-13 TV-L, federal state salary rate)
Description of Position:
Conducting research in computer security, especially in the areas of Trusted Computing technologies (remote attestation), system and software security, mobile security, hardware security, IoT security. Opportunity for further qualification (doctoral dissertation) is given.
The desired qualifications include
- very good programming skills, especially in system-level programming (C, C++, Assembler)
- very good background in system and software security
- additional background in one of the following areas: hardware programming, side channel attacks, reverse-engineering
All candidates must have an excellent M.Sc./Diploma degree in computer science, computer security, or related fields, and must show high motivation and interest in creative conceptual and practical work.
More information on how to apply can be found at the website of the Secure Software Systems research group.
Closing date for applications: 30 November 2018
Contact: Prof. Lucas Davi
More information: https://www.syssec.wiwi.uni-due.de/en/team/open-positions/
KU Leuven, Belgium
We are looking for a Ph.D. student to work on the FWO research project ESCALATE (Efficient and Scalable Algorithms for Large Flow Detection) in cooperation with and coordinated by ETH Zurich. The project starts on February 1 and has a duration of 4 years. The objectives of the project are two-fold:
- To develop novel algorithms for efficient in-network large-flow detection. This is important for QoS (Quality of Service) schemes and DDoS (Distributed Denial of Service) defense mechanisms.
- To decrease the detection overhead through FPGA acceleration, and to enable dynamic adaptation to ?ow distribution at run-time.
The applicant will mainly work on objective 2 in collaboration with the Ph.D. student at ETH Zurich that will be working on objective 1.
Research group
This project will be carried out as a Ph.D. project within the group of Associate Professor dr. Nele Mentens. The applicant will be a member of the ES&S (Embedded Systems & Security) group on Campus Diepenbeek and the COSIC (Computer Security and Industrial Cryptography) group in Leuven. This is the perfect setting to benefit from the decades of experience in data security and hardware design in both groups.
Profile
Candidates must hold a master’s degree in electronics engineering or computer engineering, have good grades, experience in FPGA design and a keen interest in security. We prefer candidates who can demonstrate that they have developed their research skills during their master’s studies. Adequate English (written and verbal communication) for scientific interactions is required.
Closing date for applications: 9 November 2018
Contact: Nele Mentens, Associate Professor, nele.mentens (at) kuleuven.be
More information: https://www.kuleuven.be/personeel/jobsite/jobs/54883962?hl=en&lang=en
Simula UiB
Closing date for applications: 30 November 2018
Contact: Håvard Raddum
email: haavardr (at) simula.no
More information: https://www.simula.no/about/job/call-phd-students-cryptography-simula-uib
University of South Florida
Ph.D. in Mathematics or a closely-related field is required, with preference in disciplines related to Cryptography/Cybersecurity (e.g., Algebra, Number Theory, Algebraic Geometry, Combinatorics, etc.). Applications from individuals who are ABD will be accepted, but the degree must be conferred by appointment start date.
Closing date for applications: 15 November 2018
Contact: Denise Marks: denise (at) usf.edu
More information: http://www.math.usf.edu/about/18548/
03 October 2018
DarkMatter, Abu Dhabi
Design, implement and deploy cryptographic algorithms tailored for a cloud environment.
Conduct research and development in differential privacy, secret sharing, multi-party secure computation and fully homomorphic encryption.
Perform security assessments of crypto-primitives, cryptosystems and cloud security solutions at the theoretical and implementation level.
Work closely with the other teams in the organization to design and deploy safe cloud-based solutions .
Be involved in the integration of developed cryptosystems within DarkMatter products.
Enjoy all the cultural, educational and travel opportunities Abu Dhabi offers
To bring your dream to life, you’ll need:
PhD degree in Cryptography, Applied Cryptography, Information Theory and Mathematics or Computer Science.
Extensive experience developing in various programming languages.
A desire to innovate in the UAE
Closing date for applications: 3 March 2019
Contact: Sheila Morjaria
Mehdi Messaoudi
More information: https://grnh.se/d694fd601
DarkMatter, Abu Dhabi
• Design, implement and deploy cryptographic algorithms tailored for resource-constrained devices.
• Conduct research and development in lightweight cryptography.
• Perform security assessments of crypto-primitives and cryptosystems suitable for resource-constrained devices at the theoretical and implementation level.
• Work closely with the other teams in the organization to deploy secure embedded systems.
• Be involved in the integration of developed cryptosystems within DarkMatter products.
• Enjoy all the cultural, educational and travel opportunities Abu Dhabi offers.
To bring your dream to life, you’ll need:
• MS or PhD degree in Computer Science, Computer Engineering, Electrical Engineering, Cryptography or related field.
• Development experience within embedded systems, RFID and sensor networks.
• Knowledge of Unix/Linux environments and kernel development.
• Knowledge of one or more of the following: Microcontrollers, SoC, TrustZone, ARM processors, performance optimization, bootloading, firmware, x86 assembly, system BIOS or hardware/software integration.
• Knowledge of side-channel attacks and countermeasures.
• Experience coding in C/C++.
• A desire to innovate in the UAE
Closing date for applications: 3 April 2019
Contact: Sheila Morjaria
Mehdi Messaoudi
More information: https://grnh.se/fb5c073f1
Cloudflare
Cloudflare’s Technology team is working on building the future of Cloudflare by tackling strategic projects that have a large impact on the way Cloudflare systems, and the Internet at large, work. Engineers in the Technology team are expected to research new ideas and technologies, dive into existing codebases to make meaningful changes, work independently on greenfield projects, and collaborate closely with the engineering organization to achieve common goals.
The Cryptography team is a sub-team of the Technology team focused on solving difficult problems in security, performance, and privacy at scale using cryptographic tools. This involves systems engineering, open source software development, protocol design, the implementation of cryptographic primitives, contributions to cutting-edge research in collaboration with academia, participation in Internet standards organizations like the IETF, and more.
Closing date for applications: 1 July 2019
Contact: Nick Sullivan
More information: https://www.cloudflare.com/careers/departments/technology-research/
Technical University of Denmark
The department, DTU Compute, is an internationally unique academic environment spanning the science disciplines mathematics, statistics and computer science. At the same time, we are an engineering department covering informatics and communication technologies (ICT) in their broadest sense. Finally, we play a major role in addressing the societal challenges of the digital society where ICT is a part of every industry, service, and human endeavor.
Responsibilities and tasks
Through the position, the University seeks to strengthen the research within cyber security. The cyber security section at DTU has experts in cryptology, in particular the design and analysis of ciphers and hash functions, but wishes to further strengthen its research within cryptology.
Topics of particular interest include but are not limited to:
• symmetric cryptology
• lightweight and resource-efficient cryptography
• post-quantum cryptology
• provable security of cryptographic primitives
• side-channel attacks and physical cryptanalysis
• analysis and protection of cryptographic implementations
• algorithmic aspects of cryptology
• efficient implementation of cryptographic primitives
Candidates with strong expertise in any other area of cryptology are also encouraged to apply.
Application procedure
To apply, please read the full job advertisement at www.career.dtu.dk
Please submit your online application no later than 1 December 2018.
Closing date for applications: 31 December 2018
02 October 2018
Singapore University of Technology and Design (SUTD), Singapore
Closing date for applications: 8 January 2019
Contact: Prof. Jianying Zhou
Email: jianying_zhou (at) sutd.edu.sg
More information: http://jianying.space/