Foto von Michael Pehl

Dr.-Ing. Michael Pehl

Technische Universität München

Lehrstuhl für Sicherheit in der Informationstechnik (Prof. Sigl)

Dienstort

Lehrstuhl für Sicherheit in der Informationstechnik (Prof. Sigl)

Work:
Theresienstr. 90(0101)/I
80333 München

Short CV

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.


Topics for Theses and Internships

Bachelor's Theses

Side - channel analysis of error - correcting codes for PUFs

Further Topics on Physical Unclonable Functions

Master's Theses

Side - channel analysis of error - correcting codes for PUFs

Further Topics on Physical Unclonable Functions

Interdisciplinary Projects

Side - channel analysis of error - correcting codes for PUFs

Further Topics on Physical Unclonable Functions

Forschungspraxis or MSCE Internships

Side - channel analysis of error - correcting codes for PUFs

Further Topics on Physical Unclonable Functions

Internships

Further Topics on Physical Unclonable Functions

Student Assistant Jobs

Improvement of a Web-Application

Further Topics on Physical Unclonable Functions

Ongoing Theses and Internships

BAMAIDPFPIPSHK
Title

------

PUFs for Bitstream Protection


List of Publications

2019

  • 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, Germany mehr… 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), 2018Dresden mehr… 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, Germany mehr… 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, USA mehr… BibTeX
  • Tebelmann, Lars and Pehl, Michael and Sigl, Georg: EM Attack on BCH-based Error Correction for PUFs. Cryptotag, 2017Nürnberg, Germany mehr… 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, Spain mehr… 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, USA mehr… 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, Spain mehr… 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), 2015Singapore mehr… 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, Deutschland mehr… 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), 2014Singapore mehr… BibTeX
  • Wilde, Florian and Hiller, Matthias and Pehl, Michael: Statistic-based Security Analysis of Ring Oscillator PUFs. International Symposium on Integrated Circuits (ISIC), 2014Singapore mehr… 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, Deutschland mehr… 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