335 research outputs found

    The Challenge of Co-Religionist Commerce

    Get PDF
    This Article addresses the rise of co-religionist commerce in the United States—that is, the explosion of commercial dealings that take place between co-religionists who intend their transactions to achieve both commercial and religious objectives. To remain viable, coreligionist commerce requires all the legal support necessary to sustain all other commercial relationships. Contracts must be enforced, parties must be protected against torts, and disputes must be reliably adjudicated. Under current constitutional doctrine, co-religionist commercial agreements must be translated into secular terminology if they are to be judicially enforced. But many religious goods and services cannot be accurately translated without religious terms and structures. To address this translation problem, courts could make use of contextual tools of contract interpretation, thereby providing the necessary evidence to give meaning to co-religionist commercial agreements. However, contextual approaches to co-religionist commerce have been undermined by two current legal trends—one in constitutional law, the other in commercial law. The first is New Formalism, which discourages courts from looking to customary norms and relational principles to interpret commercial instruments. The second is what we call Establishment Clause Creep, which describes a growing judicial reticence to adjudicate disputes situated within a religious context. Together, these two legal developments prevent courts from using context to interpret and enforce co-religionist commercial agreements. This Article proposes that courts preserve co-religionist commerce with a limited embrace of contextualism. A thorough inquiry into context, which is discouraged by both New Formalist and many Establishment Clause doctrines, would allow courts to surmise parties\u27 intents and distinguish commercial from religious substance. Empowering the intent of co-religionist parties and limiting the doctrinal developments that threaten to undermine co-religionist commerce can secure marketplace dealings without intruding upon personal faith

    GraphBinMatch: Graph-based Similarity Learning for Cross-Language Binary and Source Code Matching

    Full text link
    Matching binary to source code and vice versa has various applications in different fields, such as computer security, software engineering, and reverse engineering. Even though there exist methods that try to match source code with binary code to accelerate the reverse engineering process, most of them are designed to focus on one programming language. However, in real life, programs are developed using different programming languages depending on their requirements. Thus, cross-language binary-to-source code matching has recently gained more attention. Nonetheless, the existing approaches still struggle to have precise predictions due to the inherent difficulties when the problem of matching binary code and source code needs to be addressed across programming languages. In this paper, we address the problem of cross-language binary source code matching. We propose GraphBinMatch, an approach based on a graph neural network that learns the similarity between binary and source codes. We evaluate GraphBinMatch on several tasks, such as cross-language binary-to-source code matching and cross-language source-to-source matching. We also evaluate our approach performance on single-language binary-to-source code matching. Experimental results show that GraphBinMatch outperforms state-of-the-art significantly, with improvements as high as 15% over the F1 score
    • …
    corecore