Michael Pehl received his Dr.-Ing. degree in 2012 from the Technische Universität München. His thesis with title "Discrete Sizing of Analog Integrated Circuits" was carried out at the Institute for Electronic Design Automation and focused on the development of optimization algorithms for yield-aware analog sizing considering discrete design parameters. For this work he received the Kurt-Fischer Prize in 2013. Since 2012 he is researcher and teaching associate at the Institute for Security in Information Technology. The focus of his current research is on the field of Physical Unclonable Functions (PUFs). Further research interests include topics like side channel analysis and tools to support secure design. He is teaching different courses as stated below.
Side - channel analysis of error - correcting codes for PUFs
Description
Physical Unclonable Functions (PUFs) exploit manufacturing process variations to generate unique signatures. PUF and error-correcting codes can be joined together to reliably generate cryptographically strong keys. However, the implementation of error-correcting codes is prone to physical attacks like side-channel attacks. Side-channel attacks exploit the information leaked during the computation of secret intermediate states to recover the secret key. Therefore, the implementation of error-correcting codes must also involve the implementation of proper countermeasures against side-channel attacks.
The goal of this thesis is to evaluate the side-channel resistance of a secure implementation of error-correcting codes for PUFs on FPGA. The thesis consists of the following steps:
Get familiar with currently available implementations of error-correcting codes for PUFs
Adapt and improve current implementations (VHDL)
Develop a measurement setup for side-channel analysis (Matlab/Python)
Perform side-channel analysis using the state-of-the-art EMF measurement equipment in our lab (Oscilloscope knowledge + Matlab/Python required)
Prerequisites
The ideal candidate should have:
Previous experience in field of digital design (VHDL/Vivado/Xilinx FPGA)
Basic knowledge on using lab equipment (e.g Oscilloscope,...)
Basic knowledge in statistics
Good programming skills in Matlab/Python
Attendance at the lecture “Secure Implementation of Cryptographic Algorithms” is advantageous
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Silicon based Physical Unclonable Functions (PUFs) are security primitives which can be used to derive device unique identities. Such identities can be used to identify a device or to derive a secret key.
You are interested in research in the field of Physical Unclonable Functions but you think that the topics which are listed on our page do not fit your previous knowledge or think there is no perfect match to what you are interested in? No problem! Please contact me at any time for advice regarding your thesis/student job. I can offer to
help you with your decision for/against some topic.
suggest probably further topics which are not advertised, yet.
bring you into contact with other members of our chair or at Fraunhofer AISEC.
Prerequisites
Plese send me an email which exhaustively describes your previous knowledge (e.g. your last grading sheet and a short CV) to allow me to prepare and to give you reasonable advice. Also, please provide 3-5 dates, which fit to your schedule, for a meeting.
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Side - channel analysis of error - correcting codes for PUFs
Description
Physical Unclonable Functions (PUFs) exploit manufacturing process variations to generate unique signatures. PUF and error-correcting codes can be joined together to reliably generate cryptographically strong keys. However, the implementation of error-correcting codes is prone to physical attacks like side-channel attacks. Side-channel attacks exploit the information leaked during the computation of secret intermediate states to recover the secret key. Therefore, the implementation of error-correcting codes must also involve the implementation of proper countermeasures against side-channel attacks.
The goal of this thesis is to evaluate the side-channel resistance of a secure implementation of error-correcting codes for PUFs on FPGA. The thesis consists of the following steps:
Get familiar with currently available implementations of error-correcting codes for PUFs
Adapt and improve current implementations (VHDL)
Develop a measurement setup for side-channel analysis (Matlab/Python)
Perform side-channel analysis using the state-of-the-art EMF measurement equipment in our lab (Oscilloscope knowledge + Matlab/Python required)
Prerequisites
The ideal candidate should have:
Previous experience in field of digital design (VHDL/Vivado/Xilinx FPGA)
Basic knowledge on using lab equipment (e.g Oscilloscope,...)
Basic knowledge in statistics
Good programming skills in Matlab/Python
Attendance at the lecture “Secure Implementation of Cryptographic Algorithms” is advantageous
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Silicon based Physical Unclonable Functions (PUFs) are security primitives which can be used to derive device unique identities. Such identities can be used to identify a device or to derive a secret key.
You are interested in research in the field of Physical Unclonable Functions but you think that the topics which are listed on our page do not fit your previous knowledge or think there is no perfect match to what you are interested in? No problem! Please contact me at any time for advice regarding your thesis/student job. I can offer to
help you with your decision for/against some topic.
suggest probably further topics which are not advertised, yet.
bring you into contact with other members of our chair or at Fraunhofer AISEC.
Prerequisites
Plese send me an email which exhaustively describes your previous knowledge (e.g. your last grading sheet and a short CV) to allow me to prepare and to give you reasonable advice. Also, please provide 3-5 dates, which fit to your schedule, for a meeting.
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Side - channel analysis of error - correcting codes for PUFs
Description
Physical Unclonable Functions (PUFs) exploit manufacturing process variations to generate unique signatures. PUF and error-correcting codes can be joined together to reliably generate cryptographically strong keys. However, the implementation of error-correcting codes is prone to physical attacks like side-channel attacks. Side-channel attacks exploit the information leaked during the computation of secret intermediate states to recover the secret key. Therefore, the implementation of error-correcting codes must also involve the implementation of proper countermeasures against side-channel attacks.
The goal of this thesis is to evaluate the side-channel resistance of a secure implementation of error-correcting codes for PUFs on FPGA. The thesis consists of the following steps:
Get familiar with currently available implementations of error-correcting codes for PUFs
Adapt and improve current implementations (VHDL)
Develop a measurement setup for side-channel analysis (Matlab/Python)
Perform side-channel analysis using the state-of-the-art EMF measurement equipment in our lab (Oscilloscope knowledge + Matlab/Python required)
Prerequisites
The ideal candidate should have:
Previous experience in field of digital design (VHDL/Vivado/Xilinx FPGA)
Basic knowledge on using lab equipment (e.g Oscilloscope,...)
Basic knowledge in statistics
Good programming skills in Matlab/Python
Attendance at the lecture “Secure Implementation of Cryptographic Algorithms” is advantageous
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Silicon based Physical Unclonable Functions (PUFs) are security primitives which can be used to derive device unique identities. Such identities can be used to identify a device or to derive a secret key.
You are interested in research in the field of Physical Unclonable Functions but you think that the topics which are listed on our page do not fit your previous knowledge or think there is no perfect match to what you are interested in? No problem! Please contact me at any time for advice regarding your thesis/student job. I can offer to
help you with your decision for/against some topic.
suggest probably further topics which are not advertised, yet.
bring you into contact with other members of our chair or at Fraunhofer AISEC.
Prerequisites
Plese send me an email which exhaustively describes your previous knowledge (e.g. your last grading sheet and a short CV) to allow me to prepare and to give you reasonable advice. Also, please provide 3-5 dates, which fit to your schedule, for a meeting.
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Side - channel analysis of error - correcting codes for PUFs
Description
Physical Unclonable Functions (PUFs) exploit manufacturing process variations to generate unique signatures. PUF and error-correcting codes can be joined together to reliably generate cryptographically strong keys. However, the implementation of error-correcting codes is prone to physical attacks like side-channel attacks. Side-channel attacks exploit the information leaked during the computation of secret intermediate states to recover the secret key. Therefore, the implementation of error-correcting codes must also involve the implementation of proper countermeasures against side-channel attacks.
The goal of this thesis is to evaluate the side-channel resistance of a secure implementation of error-correcting codes for PUFs on FPGA. The thesis consists of the following steps:
Get familiar with currently available implementations of error-correcting codes for PUFs
Adapt and improve current implementations (VHDL)
Develop a measurement setup for side-channel analysis (Matlab/Python)
Perform side-channel analysis using the state-of-the-art EMF measurement equipment in our lab (Oscilloscope knowledge + Matlab/Python required)
Prerequisites
The ideal candidate should have:
Previous experience in field of digital design (VHDL/Vivado/Xilinx FPGA)
Basic knowledge on using lab equipment (e.g Oscilloscope,...)
Basic knowledge in statistics
Good programming skills in Matlab/Python
Attendance at the lecture “Secure Implementation of Cryptographic Algorithms” is advantageous
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Silicon based Physical Unclonable Functions (PUFs) are security primitives which can be used to derive device unique identities. Such identities can be used to identify a device or to derive a secret key.
You are interested in research in the field of Physical Unclonable Functions but you think that the topics which are listed on our page do not fit your previous knowledge or think there is no perfect match to what you are interested in? No problem! Please contact me at any time for advice regarding your thesis/student job. I can offer to
help you with your decision for/against some topic.
suggest probably further topics which are not advertised, yet.
bring you into contact with other members of our chair or at Fraunhofer AISEC.
Prerequisites
Plese send me an email which exhaustively describes your previous knowledge (e.g. your last grading sheet and a short CV) to allow me to prepare and to give you reasonable advice. Also, please provide 3-5 dates, which fit to your schedule, for a meeting.
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Silicon based Physical Unclonable Functions (PUFs) are security primitives which can be used to derive device unique identities. Such identities can be used to identify a device or to derive a secret key.
You are interested in research in the field of Physical Unclonable Functions but you think that the topics which are listed on our page do not fit your previous knowledge or think there is no perfect match to what you are interested in? No problem! Please contact me at any time for advice regarding your thesis/student job. I can offer to
help you with your decision for/against some topic.
suggest probably further topics which are not advertised, yet.
bring you into contact with other members of our chair or at Fraunhofer AISEC.
Prerequisites
Plese send me an email which exhaustively describes your previous knowledge (e.g. your last grading sheet and a short CV) to allow me to prepare and to give you reasonable advice. Also, please provide 3-5 dates, which fit to your schedule, for a meeting.
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Silicon based Physical Unclonable Functions (PUFs) are security primitives which can be used to derive device unique identities. Such identities can be used to identify a device or to derive a secret key.
You are interested in research in the field of Physical Unclonable Functions but you think that the topics which are listed on our page do not fit your previous knowledge or think there is no perfect match to what you are interested in? No problem! Please contact me at any time for advice regarding your thesis/student job. I can offer to
help you with your decision for/against some topic.
suggest probably further topics which are not advertised, yet.
bring you into contact with other members of our chair or at Fraunhofer AISEC.
Prerequisites
Plese send me an email which exhaustively describes your previous knowledge (e.g. your last grading sheet and a short CV) to allow me to prepare and to give you reasonable advice. Also, please provide 3-5 dates, which fit to your schedule, for a meeting.
Contact
Dr.-Ing. Michael Pehl Chair for Security in Information Technology Head: Prof. Dr.-Ing. Georg Sigl Technical University of Munich Arcisstr. 21, 80333 Munich (Germany)
Advances in the Resistance of Physical Unclonable Functions against Machine Learning
Beschreibung
Physical Unclonable Functions (PUFs) are security primitives, which derive a secret from tiny, device unique manufacturing variations. Since several years there is an attempt to design a PUF with challenge-response behavior, which allows for leightweight authentication. But until today, every PUF which was presented in this area has been machine learned; i.e., it is possible to derive a sufficiently accurate mathematical clone, so that secure authentication is not possible anylonger. Nevertheless, several attempts have been made to improve the situation; resent approaches are described in [1, 2].
The goal of this seminar is to illustrate the advances in machine-learning resistance of PUFs until today and to highlight different approaches taken to achieve higher resistance, and to compare benefits and drawbacks of the taken approaches.
[1] Nguyen, P. H., Sahoo, D. P., Jin, C., Mahmood, K., Rührmair, U., & van Dijk, M. (2019). The Interpose PUF: Secure PUF Design against State-of-the-art Machine Learning Attacks. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2019(4), 243–290. https://doi.org/10.13154/tches.v2019.i4.243-290
[2] Z. He, W. Chen, L. Zhang, G. Chi, Q. Gao and L. Harn, "A Highly Reliable Arbiter PUF With Improved Uniqueness in FPGA Implementation Using Bit-Self-Test," in IEEE Access, vol. 8, pp. 181751-181762, 2020, doi: 10.1109/ACCESS.2020.3028514.
Danger, Jean-Luc and Guilley, Sylvain and Pehl, Michael and Senni, Sophiane and Souissi, Youssef: Highly Reliable PUFs for Embedded Systems, Protected Against Tampering. Industrial Networks and Intelligent Systems, Springer International Publishing, 2021Hanoi, Vietnammehr…BibTeX
2020
Frisch, C. and Tempelmeier, M. and Pehl, M.: PAG-IoT: A PUF and AEAD Enabled Trusted Hardware Gateway for IoT Devices. 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2020Limassol, CYPRUSmehr…BibTeX
Moghadas, Seyed Hamidreza and Pehl, Michael: ROPAD: A Fully Digital Highly Predictive Ring Oscillator Probing Attempt Detector. 2020 57th ACM/EDAC/IEEE Design Automation Conference (DAC), 2020San Francisco, USAmehr…BibTeX
Tebelmann, Lars; Danger, Jean-Luc; Pehl, Michael: Self-secured PUF: Protecting the Loop PUF by Masking. Constructive Side-Channel Analysis and Secure Design, Springer International Publishing, 2020 mehr…BibTeX
Unterstein, Florian; Sel, Tolga; Zeschg, Thomas; Jacob, Nisha; Tempelmeier, Michael; Pehl, Michael; De Santis, Fabrizio: Secure Update of FPGA-based Secure Elements using Partial Reconfiguration. TRUDEVICE 2020: Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, 2020Grenoble, Francemehr…BibTeX
2019
Florian Wilde and Christoph Frisch and Michael Pehl: Efficient Bound for Conditional Min-Entropy of Physical Unclonable Functions Beyond IID. International Workshop on Information Forensics and Security 2019 (WIFS), 2019Delft, Netherlands, 1-6 mehr…BibTeX
Pehl, Michael; Frisch, Christoph; Feist, Peter Christian; Sigl, Georg: KeLiPUF: a key-distribution protocol for lightweight devices using Physical Unclonable Functions. In: 17th escar Europe : embedded security in cars (Konferenzveröffentlichung). 17th escar Europe : embedded security in cars (Konferenzveröffentlichung), 2019 mehr…BibTeX
Sepúlveda, Johanna and Wilgerodt, Felix and Pehl, Michael: Towards memory integrity and authenticity of multi-processors system-on-chip using physical unclonable functions. it - Information Technology 61 (1), 2019, 29--43 mehr…BibTeX
Tebelmann, Lars and Pehl, Michael and Immler, Vincent: Side-Channel Analysis of the TERO PUF. Constructive Side-Channel Analysis and Secure Design COSADE , Springer International Publishing, 2019Darmstadt, Germanymehr…BibTeX
Wilde, Florian and Pehl, Michael: On the Confidence in Bit-Alias Measurement of Physical Unclonable Functions. 17th IEEE International New Circuits and Systems Conference (NEWCAS), 2019Münchenmehr…BibTeX
2018
Andreas Herrmann, Michael Weiner, Michael Pehl, Helmut Graeb: Bringing Analog Design Tools to Security: Modeling and Optimization of a Low Area Probing Detector. 15th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2018Prague, Czech Republic mehr…BibTeX
Sepulveda, Johanna and Willgerodt, Felix and Pehl, Michael: SEPUFSoC: Using PUFs for Memory Integrity and Authentication in Multi-Processors System-on-Chip. ACM Great Lakes Symposium on VLSI, { GLSVLSI} 2018, 2018Chicago, USA mehr…BibTeX
Sigl, Georg and Gross, Mathieu and Pehl, Michael: Where Technology Meets Security: Key Storage and Data Separation for System-on-Chips. ESSCIRC 2018 - IEEE 44th European Solid State Circuits Conference (ESSCIRC), 2018Dresdenmehr…BibTeX
Wilde, Florian and Gammel, Berndt M. and Pehl, Michael: Spatial Correlation Analysis on Physical Unclonable Functions. IEEE Transactions on Information Forensics and Security 13 (6), 2018, 1468-1480 mehr…BibTeX
2017
Nisha Jacob and Jakob Wittmann and Johann Heyszl and Robert Hesselbarth and Florian Wilde and Michael Pehl and Georg Sigl and Kai Fisher: Securing FPGA SoC Configurations Independent of Their Manufacturers. 30th IEEE International System-on-Chip Conference SOCC, 2017Munich, Germanymehr…BibTeX
Pehl, Michael and Hiller, Matthias and Sigl, Georg: Secret Key Generation for Physical Unclonable Functions – Secret Key Generation and Authentication. In: Rafael F. Schaefer and Holger Boche and Ashish Khisti and H. Vincent Poor (Hrsg.): Information Theoretic Security and Privacy of Information Systems. Cambridge University Press, 2017, 362-389 mehr…BibTeX
Tebelmann, Lars and Pehl, Michael and Sigl, Georg: EM Side-Channel Analysis of BCH-based Error Correction for PUF-based Key Generation. Proceedings of the 2017 Workshop on Attacks and Solutions in Hardware Security (ASHES '17), ACM, 2017New York, NY, USAmehr…BibTeX
Tebelmann, Lars and Pehl, Michael and Sigl, Georg: EM Attack on BCH-based Error Correction for PUFs. Cryptotag, 2017Nürnberg, Germanymehr…BibTeX
2016
Arumí, D. and Manich, S. and Rodríguez-Montañés, R.and Pehl, M.: RRAM based random bit generation for hardware security applications. 2016 Conference on Design of Circuits and Integrated Systems (DCIS), 2016Granada, Spainmehr…BibTeX
Hiller, Matthias and Pehl, Michael and Kramer, Gerhard and Sigl, Georg: Algebraic Security Analysis of Key Generation with Physical Unclonable Functions. PROOFS 2016: Security Proofs for Embedded Systems , 2016Santa Barbara, CA, USAmehr…BibTeX
Wilde, Florian and Gammel, Berndt and Pehl, Michael: Spatial Correlations in Physical Unclonable Functions. Final Conference on Trustworthy Manufacturing and Utilization of Secure Devices (TRUDEVICE 2016), 2016Barcelona, Spainmehr…BibTeX
2015
Hiller, Matthias and Pehl, Michael and Sigl, Georg: Fehlerkorrekturverfahren zur sicheren Schlüsselerzeugung mit Physical Unclonable Functions. Datenschutz und Datensicherheit - DuD (Volume 39, Issue 4, ), 2015, pp 229-233 mehr…BibTeX
Hiller, Matthias and Yu, Meng-Day (Mandel) and Pehl, Michael: Systematic Low Leakage Coding for Physical Unclonable Functions. ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2015Singaporemehr…BibTeX
Pehl, Michael and Hiller, Matthias and Graeb, Helmut: Efficient Evaluation of Physical Unclonable Functions Using Entropy Measures. Journal of Circuits, Systems and Computers (Vol. 25, No. 1 (2016) 1640001 ), 2015, 23 pages mehr…BibTeX
Pehl, Michael and Wilde, Florian and Gammel, Berndt and Sigl, Georg: Qualitätsevaluierung von Physical Unclonable Functions als Schlüsselspeicher. 14. Deutscher IT-Sicherheitskongress, 2015Bonn, Deutschlandmehr…BibTeX
2014
Pehl, Michael Pehl and Seuschek, Hermann: Herausforderungen der ganzheitlichen Absicherung eingebetteter Systeme. Datenschutz und Datensicherheit - DuD, 2014, Volume 38, Issue 11 , pp 757-761 mehr…BibTeX
Pehl, Michael, Punnakkal, Akshara Ranjit, Hiller, Matthias and Graeb, Helmut: Advanced Performance Metrics for Physical Unclonable Functions. International Symposium on Integrated Circuits (ISIC), 2014Singaporemehr…BibTeX
Wilde, Florian and Hiller, Matthias and Pehl, Michael: Statistic-based Security Analysis of Ring Oscillator PUFs. International Symposium on Integrated Circuits (ISIC), 2014Singaporemehr…BibTeX
2013
Hiller, Matthias and Sigl, Georg and Pehl, Michael: A New Model for Estimating Bit Error Probabilities of Ring-Oscillator PUFs. ReCoSoC 2013, 2013Darmstadt, Deutschlandmehr…BibTeX
2012
Pehl, Michael; Graeb, Helmut: Tolerance Design of Analog Circuits Using a Branch-and-Bound Based Approach. Journal of Circuits, Systems, and Computers, 2012 mehr…BibTeX
2011
Pehl, Michael; Graeb, Helmut: An SQP and Branch-and-Bound Based Approach for Discrete Sizing of Analog Circuits – 13. In: Tlelo-Cuautle, Esteban (Hrsg.): Advances in Analog Circuits. InTech, 2011, 297-316 mehr…BibTeX
Pehl, Michael; Zwerger, Michael; Graeb, Helmut: Variability-Aware Automated Sizing of Analog Circuits Considering Discrete Design Parameters. International Symposium on Integrated Circuits (ISIC), 2011 mehr…BibTeX
2010
Pehl, Michael; Graeb, Helmut: Dimensionierung Analoger Schaltungen mit diskreten Parametern unter Verwendung eines Zufalls- und Gradientenbasierten Ansatzes. ITG/GMM-Fachtagung Entwurf von analogen Schaltungen mit CAE-Methoden (ANALOG), 2010 mehr…BibTeX
Pehl, Michael; Zwerger, Michael; Graeb, Helmut: Sizing Analog Circuits Using an SQP and Branch and Bound Based Approach. IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2010 mehr…BibTeX
2009
Pehl, Michael; Graeb, Helmut: RaGAzi: A Random and Gradient-Based Approach to Analog Sizing for Mixed Discrete and Continuous Parameters. International Symposium on Integrated Circuits (ISIC), 2009 mehr…BibTeX
