JONAS BECKER-KUPCZOK, M.SC.
Einsteinstr. 62, 48149 Münster
Room 217
Phone: +49 251 83 33807
jonas.becker-kupczok@uni-muenster.de
Research Interests:
Provable Security of Embedded Systems
Information Flow Analysis for Concurrent Hardware/Software Systems