MAIS

Florian Dewald

Office:	S2\|02 E321
Phone:	+49 6151 16-25256
Fax:	+49 6151 16-25251
Mail:	dewaldmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

GPG-Key: 4096R/5C866695, Fingerprint: 828E 8270 83CB 250B 61D1 471C 94A3 B2D5 5C86 6695

Short Bio

I received my B.Sc. and M.Sc. degree in computer science at Technische Universität Darmstadt in 2016 and 2018, respectively. Afterwards, I joined the MAIS group as a PhD candidate in the Software-Factory 4.0 project. My current focus is to obtain reliable correctness guarantees for (semi-)automatic parallelization of sequential software.

Research Interests

Program Analyses
Concurrency
Formal Methods
Information Flow Analyses including Side Channels

Theses Topics and Student Assistant Positions

Are you looking for a thesis topic or a position as student assistant? Are you interested in applying formal methods to obtain correctness results? Feel free to contact me via e-mail for open thesis topics or student assistant positions connected to my current research topics.

Publications

These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

2021

Jan-Patrick Lehr, Christian Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi and Felix Wolf. Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization. In International Conference on Parallel Processing (ICPP), 2021. (to appear).
[ BibTeX entry ]

2018

Florian Dewald, Heiko Mantel and Alexandra Weber. Poster: Side-Channel Finder for AVR. Poster at the 20th International Conference on Cryptographic Hardware and Embedded Systems (CHES), 2018.
[ BibTeX entry | PDF ]
Florian Dewald. Exploring the Robustness of Dependency Graphs Based on Operational Semantics. Master's Thesis, TU Darmstadt, 2018.
[ BibTeX entry ]

2017

Florian Dewald, Heiko Mantel and Alexandra Weber. AVR Processors as a Platform for Language-Based Security. In Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS), pages 427-445, 2017.
[ BibTeX entry | PDF ]
Florian Dewald. Establishing Trust in a Timing-Sensitive Information-Flow Analysis for AVR Assembly Programs. Studienarbeit, TU Darmstadt, 2017.
[ BibTeX entry ]

2016

Florian Dewald. Timing-Sensitive Information-Flow Analysis of AVR Assembly Programs. Bachelor's thesis, TU Darmstadt, 2016.
[ BibTeX entry ]

Last modified on 17 April 2018.