Search Results - Chaliasos, Stefanos

  • Showing 1 - 16 results of 16
Refine Results
  1. 1
    API-Driven Program Synthesis for Testing Static Typing Implementations

    API-Driven Program Synthesis for Testing Static Typing Implementations by Sotiropoulos, Thodoris, Chaliasos, Stefanos, Su, Zhendong

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    SoK: Decentralized Finance (DeFi) Attacks

    SoK: Decentralized Finance (DeFi) Attacks by Zhou, Liyi, Xiong, Xihan, Ernstberger, Jens, Chaliasos, Stefanos, Wang, Zhipeng, Wang, Ye, Qin, Kaihua, Wattenhofer, Roger, Song, Dawn, Gervais, Arthur

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    A study of inline assembly in solidity smart contracts

    A study of inline assembly in solidity smart contracts by Chaliasos, Stefanos, Gervais, Arthur, Livshits, Benjamin

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Data-Oriented Differential Testing of Object-Relational Mapping Systems

    Data-Oriented Differential Testing of Object-Relational Mapping Systems by Sotiropoulos, Thodoris, Chaliasos, Stefanos, Atlidakis, Vaggelis, Mitropoulos, Dimitris, Spinellis, Diomidis

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    A model for detecting faults in build specifications

    A model for detecting faults in build specifications by Sotiropoulos, Thodoris, Chaliasos, Stefanos, Mitropoulos, Dimitris, Spinellis, Diomidis

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

    Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers by Chaliasos, Stefanos, Sotiropoulos, Thodoris, Drosos, Georgios-Petros, Mitropoulos, Charalambos, Mitropoulos, Dimitris, Spinellis, Diomidis

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

    Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? by Chaliasos, Stefanos, Charalambous, Marcos Antonios, Zhou, Liyi, Galanopoulou, Rafaila, Gervais, Arthur, Mitropoulos, Dimitris, Livshits, Benjamin

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Towards a Formal Foundation for Blockchain Rollups

    Towards a Formal Foundation for Blockchain Rollups by Chaliasos, Stefanos, Firsov, Denis, Livshits, Benjamin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    The Blockchain Imitation Game

    The Blockchain Imitation Game by Qin, Kaihua, Chaliasos, Stefanos, Zhou, Liyi, Livshits, Benjamin, Song, Dawn, Gervais, Arthur

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations

    Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations by Sotiropoulos, Thodoris, Chaliasos, Stefanos, Su, Zhendong

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

    Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? by Chaliasos, Stefanos, Marcos Antonios Charalambous, Zhou, Liyi, Galanopoulou, Rafaila, Gervais, Arthur, Mitropoulos, Dimitris, Livshits, Ben

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Pricing Factors and TFMs for Scalability-Focused ZK-Rollups

    Pricing Factors and TFMs for Scalability-Focused ZK-Rollups by Chaliasos, Stefanos, Mohnblatt, Nicolas, Kattis, Assimakis, Livshits, Benjamin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Identifying Bugs in Make and JVM-Oriented Builds

    Identifying Bugs in Make and JVM-Oriented Builds by Sotiropoulos, Thodoris, Chaliasos, Stefanos, Mitropoulos, Dimitris, Spinellis, Diomidis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs

    SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs by Chaliasos, Stefanos, Ernstberger, Jens, Theodore, David, Wong, David, Jahanara, Mohammad, Livshits, Benjamin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy

    On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy by Wang, Zhipeng, Chaliasos, Stefanos, Qin, Kaihua, Zhou, Liyi, Gao, Lifeng, Berrang, Pascal, Livshits, Ben, Gervais, Arthur

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    SoK: Decentralized Finance (DeFi) Attacks

    SoK: Decentralized Finance (DeFi) Attacks by Zhou, Liyi, Xiong, Xihan, Ernstberger, Jens, Chaliasos, Stefanos, Wang, Zhipeng, Wang, Ye, Qin, Kaihua, Wattenhofer, Roger, Song, Dawn, Gervais, Arthur

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

Search Tools: