Fault Sensitivity Analysis (FSA) ist ein Cyber-Angriff, bei dem gezielt Fehler in kryptographische Schaltungen erzeugt und statistisch ausgewertet werden. Daraus lassen sich geheime Daten wie z.B. kryptographische Schlüssel gewinnen. Eine Gegenmaßnahme ist eine Schaltungsimplementierung, bei der Signalpfad-Verzögerungen unabhängig von sensiblen Daten sind. Das Ziel dieses Projekts ist es, ein Tool zu bauen, welches die Gegenmaßnahme automatisiert.
Dafür soll ein Programm erstellt werden, in dem man eine Schaltung erstellen kann. Diese Schaltung soll dann per Knopfdruck in eine äquivalente Schaltung umgewandelt werden, in der nur ausgewählte Gatter verwendet werden dürfen.
Das Projekt besteht also aus zwei Teilen:
Die Ansprechpartner für das Teamprojekt sind René Maseli und Jakob Tepe.
Wir werden in der ersten Semesterwoche ein Kick-Off veranstalten. Zur Anmeldung solltet ihr an dem Kick-Off Treffen teilnehmen. Falls ihr am Kick-Off nicht teilnehmen könnt, schreibt bitte eine E-Mail.
Wir empfehlen, als Programmiersprache C++ zu verwenden. Wir können euch Boilerplate-Code und einen Parser, generiert durch ANTLR, zur Verfügung stellen.
A. Solar-Lezama, "Introduction to Program Synthesis", MIT Lecture, https://people.csail.mit.edu/asolar/SynthesisCourse/index.htm
N. Polikarpova, "Program Synthesis", UCSD Lecture, https://github.com/nadia-polikarpova/cse291-program-synthesis/tree/master
R. Alur et al., "Search-Based Program Synthesis", 2018, Commun. ACM, doi:10.1145/3208071.
A. Udapa et al., "TRANSIT: Specifying Protocols with Concolic Snippets" , 2013, PLDI, doi:10.1145/2499370.2462174.
Y. Ding, X. Qui, "Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations", 2024, POPL, doi:10.1145/3632913.
S. Barke et al., "Just-in-Time Learning for Bottom-Up Enumerative Synthesis", 2020, OOPSLA, doi:10.1145/3428295.
W. Lee, "Combining the Top-Down Propagation and Bottom-Up Enumeration for Inductive Program Synthesis", 2021, POPL, doi:10.1145/3434335.
Y. Yoon et al., "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation", 2023, PLDI, doi:10.1145/3591288.
S. Gulwani, "Automating String Processing in Spreadsheets Using Input-Output Examples", 2011, POPL, doi:10.1145/1926385.1926423.
Y. Li et al., "Fault Sensitivity Analysis", 2010, CHES, doi:10.1007/978-3-642-15031-9_22.
H. Eldib et al., "Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits", 2016, CAV, doi:10.1007/978-3-319-41540-6_19.