Search Results - Babel, Kushal

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    On the semantics of communications when verifying equivalence properties

    On the semantics of communications when verifying equivalence properties by Babel, Kushal, Cheval, Vincent, Kremer, Steve

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications

    Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications by Sheff, Isaac, Wang, Xinwen, Babel, Kushal, Ni, Haobin, van Renesse, Robbert, Myers, Andrew C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts

    Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts by Babel, Kushal, Daian, Philip, Kelkar, Mahimna, Juels, Ari

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: