Auflistung nach Autor:in "Veith, Helmut"
1 - 5 von 5
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragCompilation for secure two-party computations(Software-engineering and management 2015, 2015) Franz, Martin; Holzer, Andreas; Katzenbeisser, Stefan; Schallhart, Christian; Veith, HelmutSecure two-party computation (STC) is a computer security paradigm that enables two distrusting parties to jointly compute on sensitive input data. While both parties are interested in the outcome of the computation, they are not willing to share their data with each other. Until recently, STC was deemed theoretical and impractical. However, novel efficient cryptographic primitives bring STC well within practical reach. Indeed, custom-tailored commercial STC products already appeared on the market. Unfortunately, a widespread application of STC is still hindered by the difficulty to implement STC protocols. While recent work proposed simple programming languages for the specification of STCs, they are still difficult to use for practitioners, and translating existing source code into this format is cumbersome. Similarly, the manual construction of STC protocols is labor intensive and error-prone.
- KonferenzbeitragConcolic testing of concurrent programs(Software Engineering 2014, 2014) Farzan, Azadeh; Holzer, Andreas; Razavi, Niloofar; Veith, Helmut
- KonferenzbeitragEmpirical software metrics for benchmarking of verification tools(Software Engineering 2016, 2016) Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, FlorianIn recent work [De15, PVZ15, DVZ13], we study empirical metrics for software (SW) source code, which can predict the performance of verification tools on specific types of SW. Our metrics comprise variable usage patterns, loop patterns, as well as indicators of control-flow complexity and are extracted by simple data-flow analyses. We demonstrate that our metrics are powerful enough to devise a machine-learning based portfolio solver for SW verification. We show that this portfolio solver would be the (hypothetical) overall winner of both the 2014 and 2015 International Competition on Software Verification (SV-COMP). This gives strong empirical evidence for the predictive power of our metrics and demonstrates the viability of portfolio solvers for SW verification.
- KonferenzbeitragReusing information in multi-goal reachability analyses(Software Engineering 2014, 2014) Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
- KonferenzbeitragA simple and scalable static analysis for bound analysis and amortized complexity analysis(Software Engineering 2016, 2016) Sinn, Moritz; Zuleger, Florian; Veith, Helmut