DOKTORANDEN
Informationen zu offenen Stellen finden Sie auf der Website der RUB Stellenbörse.
STELLENANGEBOTE FÜR STUDENTISCHE HILFSKRÄFTE
Am Lehrstuhl für Security Engineering sind wir immer auf der Suche nach studentischen Hilfskräften, die uns bei unserer Forschung oder der Bearbeitung von Industrieprojekten unterstützen. Falls Sie Interesse an einem unserer Forschungsschwerpunkte haben, sprechen Sie uns gerne an.
Außerdem sind wir regelmäßig auf der Suche nach Studierenden, die uns in der Lehre unterstützen möchten. Wenn Sie in einem der von uns angebotenen Kursen überdurchschnittliche Ergebnisse erzielt haben und Lust haben, die Lehre mal von der anderen Seite aus zu betrachten, schreiben Sie uns gerne eine E-Mail.
COMPUTER-AIDED SECURITY VERIFICATION
Physical implementation attacks, including passive Side-Channel Analysis (SCA) and active Fault Injection Analysis (FIA), are powerful threats against physical cryptographic implementations. Computer-aided security verification is a recent and highly relevant field of research to develop and verify robust implementations that can resist physical implementation attacks. In this context, the Emmy Noether group on Computer-Aided Verification (CAVE) and the Chair for Security Engineering develop and maintain several computer-aided security verification tools
- SILVER (for Side-Channel Attacks)
- FIVER (for Fault Injection Attacks)
- VERICA (for combined Fault and Side-Channe Attacks)
We are currently looking for a student or research assistant for the maintenance and further development of our verification tools. The position only requires good programming skills (mainly C/C++), but it is an advantage if you are also familiar with the background of side-channel attacks and fault injection attacks.
If you are interested in this topic, please contact: Dr.-Ing. Pascal Sasdrich (pascal.sasdrich@rub.de).
Erweiterung des HADES-Tools
An unserem Lehrstuhl haben wir das Tool HADES entwickelt, welches automatisiert eine große Zahl kryptografischer Designs auswerten und das beste, in Bezug auf eine gegebene Metrik, finden kann. So ist es möglich, aus vielen verschiedenen Designs das schnellste oder kleinste zu finden. Außerdem können Designs automatisch gegen Seitenkanalangriffe gesichert werden. Für die Weiterentwickung von HADES sind wir auf der Suche nach einer studentischen oder wissenschaftlichen Hilfskraft, die zusärtliche kryptografische Designs implementiert, insbesondere:
- Addierer
- NTTs
- Symmetrische Kryptografie (PRESENT, LED, Skinny, Simon, Speedy, ...)
- Elliptische Kurven
Außerdem soll das Backend um zusärtzliche Funktionalitäten erweitert werden, zum Beispiel:
- Neue Metriken, nach denen Designs ausgwertet werden
- Optimierungen bei der Auswertung von Designs
Für die Stelle ist kein besonderes Vorwissen erforderlich, Kenntnisse in objekt-orientierter Programmierung (Scala/Java/C++) oder Hardware (SpinalHDL/Verilog/VHDL) sind von Vorteil.
Bei Fragen und Interesse an dem Stellenangebot meldet euch gerne bei Fabian Buschkowski oder Georg Land.
Messsetup für Seitenkanalmessungen
Für die Evaluierung von Gegenmaßnahmen gegen Seitenkanalangriffen haben wir an unserem Lehrstuhl ein Messsetup entwickelt, welches durch schnelle PCI-Messkarten und effizienten Implementierungen besonders viele Messungen pro Sekunde aufnehmen kann. Das System kann wahlweise mit einem Messboard für FPGAs oder mit einem Microkontroller verbunden werden. Für die Wartung und Weiterentwicklung des Messsetups sind wir aktuell auf der Suche nach einer studentischen oder wissenschaftlichen Hilfskraft. Für die Stelle sind keine besonderen Vorkenntnisse erforderlich, es ist aber von Vorteil, wenn du C++ kannst und mit dem Hintergrund von Seitenkanalangriffen basierend auf Strommessung vertraut bist.Bei Fragen und Interesse an dem Stellenangebot meldet euch gerne bei Jan Richter-Brockmann.