Vincent Happersberger

According to our database, Vincent Happersberger authored at least 2 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Comparison of Ethereum Smart Contract Analysis and Verification Methods.

Vincent Happersberger, Frank-Walter Jäkel, Thomas Knothe, Yvonne-Anne Pignolet, Stefan Schmid

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2019

Ensure OPC-UA Interfaces for Digital Plug-and-Produce.

Frank-Walter Jaekel, Tobias Wolff, Vincent Happersberger, Thomas Knothe

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Workshops, 2019