Search Results - Schneidewind, Clara

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    HoRStify: Sound Security Analysis of Smart Contracts

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Decision and Complexity of Dolev-Yao Hyperproperties

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    HoRStify: Sound Security Analysis of Smart Contracts

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    A Semantic Framework for the Security Analysis of Ethereum smart contracts

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: