Decision and Complexity of Dolev-Yao Hyperproperties von Rakotonirina, Itsaka, Barthe, Gilles, Schneidewind, Clara

Volltext

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts von Schneidewind, Clara, Scherer, Markus, Maffei, Matteo

Volltext

HoRStify: Sound Security Analysis of Smart Contracts von Holler, Sebastian, Biewer, Sebastian, Schneidewind, Clara

Volltext bestellen

The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts von Schneidewind, Clara, Scherer, Markus, Maffei, Matteo

Volltext

HoRStify: Sound Security Analysis of Smart Contracts von Holler, Sebastian, Biewer, Sebastian, Schneidewind, Clara

Volltext

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts von Schneidewind, Clara, Grishchenko, Ilya, Scherer, Markus, Maffei, Matteo

Volltext bestellen

A Semantic Framework for the Security Analysis of Ethereum smart contracts von Grishchenko, Ilya, Maffei, Matteo, Schneidewind, Clara

Volltext

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring von Calzavara, Stefano, Focardi, Riccardo, Maffei, Matteo, Schneidewind, Clara, Squarcina, Marco, Tempesta, Mauro

Volltext bestellen

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts von Schneidewind, Clara, Grishchenko, Ilya, Scherer, Markus, Maffei, Matteo

Volltext

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring von Calzavara, Stefano, Focardi, Riccardo, Maffei, Matteo, Schneidewind, Clara, Squarcina, Marco, Tempesta, Mauro

Volltext