3 papers
cs.SE2024
SmartML: Towards a Modeling Language for Smart Contracts
Adele Veschetti, Richard Bubel, Reiner Hähnle
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling langu…
cs.SE2022
Towards Trace-based Deductive Verification (Tech Report)
Richard Bubel, Dilian Gurov, Reiner Hähnle +1
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events o…
cs.LO2015
Dependency-Based Information Flow Analysis with Declassification in a Program Logic
Bart van Delft, Richard Bubel
We present a deductive approach for the analysis of secure information flows with support for fine-grained policies that include declassifications in the form of delimited informat…