Jonas Becker-Kupczok
© privat

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 Timed and Concurrent Hardware/Software Systems

  •  

    Research Articles in Edited Proceedings (Conferences)

    • , and . . “Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.” in Software Engineering and Formal Methods. SEFM 2024, Vol. 15280 of Lecture Notes in Computer Science, edited by Madeira A. and Knapp A.. Heidelberg: Springer. doi: 10.1007/978-3-031-77382-2_7.

    • , and . . “Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems.” in Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV, Vol. 15222 of Lecture Notes in Computer Science, edited by Tiziana Margaria and Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-75387-9_8.