We are offering 1 MSc student position in the area of cryptography in the Cryptography and Data Security Group at the Department of Mathematics, Informatics and Mechanics at University of Warsaw. The position is supported by a grant "Cryptographic Defence Against Malicious Hardware Manufacturers".
The goal of this project is to design methods for preventing attacks by malicious hardware manufacturers. Such attacks are possible because manufacturing of integrated circuits is frequently outsourced to external companies. Due to the complexity of these devices it is practically impossible to inspect them in order to check that they were manufactured correctly. Hence, a malicious manufacturer can alter the device's design, by introducing the so-called "hardware Trojan horses". Such devices can later cause significant damage to their users by malfunctioning, or leaking users' secrets to the adversary. This is very worrying, especially given a tremendous dependence of modern society on the electronic devices. Another threat associated with the third-party manufacturing is the intellectual property theft and piracy, as the manufacturer gets full access to the device's specification. In this project we address these problems by applying state-of-the-art cryptographic techniques.
A preliminary result in this area has been recently published in the following paper:
S. Dziembowski, S. Faust and F.-X, StandaertPrivate Circuits III: Hardware Trojan-Resilience via Testing Amplification[link]
All candidates with background in mathematics and theoretical computer science are encouraged to apply and will be carefully considered. Knowledge of cryptography is a plus, but is not required. Good knowledge of English is required.
We offer excellent networking and training opportunities, including participation in international workshops and conferences.
Stipend: PLN 2,500 (net) / month
Successful candidates can start from December 2016. Funding is available for 2 years.
The Institute of Informatics of University of Warsaw is the leading research institute in this field in Poland. Institute of Informatics was formed in 1975, unifying foundational and experimental research on programming languages. Today it employs around 50 faculty members and trains, more than 60 PhD students. The research goals comprise basic work in computer science, especially algorithms, cryptography, logic, and specification theory, as well as various aspect of software engineering and several interdisciplinary topics.
Your application: applications in English should be submitted here.