Digital Commons Network^™

An Idealist’S Approach For Smart Contract Correctness, Duy Tai Nguyen, Hong Long Pham, Jun Sun, Quang Loc Le

Research Collection School Of Computing and Information Systems

In this work, we experiment an idealistic approach for smart contract correctness verification and enforcement, based on the assumption that developers are either desired or required to provide a correctness specification due to the importance of smart contracts and the fact that they are immutable after deployment. We design a static verification system with a specification language which supports fully compositional verification (with the help of function specifications, contract invariants, loop invariants and call invariants). Our approach has been implemented in a tool named iContract which automatically proves the correctness of a smart contract statically or checks the unverified part …

The Identifiability Problem In Transnational Privacy Regulation, Xiaowei Yu

Vanderbilt Journal of Transnational Law

Commercial surveillance pervasively compromises data privacy by tracking consumers without meaningful consent or knowledge, yet there is no consensus on when data privacy laws should intervene. The crux lies in the standard of identifiability, which functions as the threshold trigger for when regulation is permissible. Ascertaining the identifiability of information is therefore critical to consumers, companies, and regulators, who must understand, comply with, and implement data privacy laws. As this Article shows, the world's key privacy jurisdictions the European Union, United States, and China-continue to struggle in similar ways with inadequately defining and inconsistently applying the concept of identifiability. This …

The Impact Of Generative Ai In The Financial Sector [El Impacto De La Inteligencia Artificial Generativa En El Sector Financiero], Nydia Remolina Leon

Research Collection Yong Pung How School Of Law

No abstract provided.

On Proving Mabrus And Zorgs, Michael S. Pardo

Vanderbilt Law Review

An unfortunate disconnect exists in modern evidence scholarship. On one hand, a rich literature has explored the process of legal proof in general and legal standards of proof in particular. Call this the "macro level" of legal proof. On the other hand, a rich literature has explored the admissibility rules that regulate the admission or exclusion of particular types of evidence (such as hearsay, character evidence, expert testimony, and so on). Call this the "micro level" of legal proof. Little attention, however, has focused on how the issues discussed in these two distinct strands of evidence scholarship intertwine. One important …

Misconduct On Public Transit: An Exploratory Analysis Using The Comments Formerly Known As Tweets, Egbe Etu Etu, Asha Weinstein Agrawal, Imokhai Tenebe, Jordan Larot, Dang Minh Nhu Nguyen

Mineta Transportation Institute

This project developed a simple methodology for using Twitter data to explore public perceptions about misconduct on public transit in California. The methodology allows future researchers to analyze tweets to answer questions such as: How frequent are tweets related to assault, abuse, or other misconduct on public transit? What concerns arise most frequently? What are the types of behaviors discussed? We collected and analyzed data from Twitter posts in California about various types of public transit misconduct from January 2020 to March 2023 to identify the nature and frequency of reported misconduct. Our findings reveal that harassment, uncivil behavior, and …

The Santa Clara, 2023-10-31, Santa Clara University

The Santa Clara

No abstract provided.

Maurer Environmental Law Expert Is Lead Author On Science Insights Policy Forum Article, James Owsley Boyd

Keep Up With the Latest News from the Law School (blog)

The Indiana University Maurer and McKinney Schools of Law jointly will convene leading scholars and practitioners to discuss the implications of the 2023 United States Supreme Court case of Sackett v. EPA. The event, “Sackett v. EPA: What the Supreme Court’s Decision Means for Regulation and Wetlands Conservation,” will take place November 10 in the Wynne Courtroom and Steve Tuchman and Reed Bobrick Atrium at IU McKinney in Indianapolis.

Depaul Digest

DePaul Magazine

College of Education Professor Jason Goulah fosters hope, happiness and global citizenship through DePaul’s Institute for Daisaku Ikeda Studies in Education. Associate Journalism Professor Jill Hopke shares how to talk about climate change. News briefs from DePaul’s 10 colleges and schools: Occupational Therapy Standardized Patient Program, Financial Planning Certificate program, Business Education in Technology and Analytics Hub, Racial Justice Initiative, Teacher Quality Partnership grant, Intimate Partner Violence and Brain Injury collaboration, School of Music Career Closet, Sports Photojournalism course, DePaul Migration Collaborative’s Solutions Lab, Inclusive Screenwriting courses. New appointments: School of Music Dean John Milbauer, College of Education Dean Jennifer …

Link Tank

DePaul Magazine

A new JD certificate program in information technology, cybersecurity and data privacy provides DePaul University students with proficiency in both law and tech.

Executive Order On The Safe, Secure, And Trustworthy Development And Use Of Artificial Intelligence, Joseph R. Biden

Copyright, Fair Use, Scholarly Communication, etc.

Section 1. Purpose. Artificial intelligence (AI) holds extraordinary potential for both promise and peril. Responsible AI use has the potential to help solve urgent challenges while making our world more prosperous, productive, innovative, and secure. At the same time, irresponsible use could exacerbate societal harms such as fraud, discrimination, bias, and disinformation; displace and disempower workers; stifle competition; and pose risks to national security. Harnessing AI for good and realizing its myriad benefits requires mitigating its substantial risks. This endeavor demands a society-wide effort that includes government, the private sector, academia, and civil society.

My Administration places the highest urgency …

12th International Conference On Business, Technology And Innovation 2023, University For Business And Technology - Ubt

UBT International Conference

Welcome to IC – UBT 2023

UBT Annual International Conference is the 12th international interdisciplinary peer reviewed conference which publishes works of the scientists as well as practitioners in the area where UBT is active in Education, Research and Development. The UBT aims to implement an integrated strategy to establish itself as an internationally competitive, research-intensive university, committed to the transfer of knowledge and the provision of a world-class education to the most talented students from all background. The main perspective of the conference is to connect the scientists and practitioners from different disciplines in the same place and make …

Dissecting The Relentless Maritime Security Situation In Nigerian Waters : An Investigation, Lamir Ado Mohammed

World Maritime University Dissertations

No abstract provided.

Why We Can’T Have Nice Things: Equality, Proportionality, And Our Abridged Voting Rights Regime, Michael Latner

Fordham Law Voting Rights and Democracy Forum

What constraints should the protection of political equality place on the design of electoral systems? With the exception of requiring approximate population equality across a jurisdiction’s districts, the U.S. voting rights regime accepts substantial disproportionality in voting strength. This Article addresses the current Supreme Court’s abandonment of the Second Reconstruction’s “one person, one vote” standard with regard to both racial and partisan gerrymandering, and assesses the role that Congress and political science have played in this transition. This Article argues that an unabridged voting rights regime must recognize a standard of proportional representation derived from the protection of individual political …

The Contractual Liability Arising From The Violation Of Negotiations Through Modern Means Of Communication In The Jordanian Legislation, Yassin Al Qudah, Juhainah Al Momani

Middle East Journal of Communication Studies

This study aims to show the effects of contractual liability for breach of negotiation via electronic means of communication in Jordanian legislation. Where it became clear that preliminary electronic negotiations are a previous basic stage in the electronic contracting process, in terms of organizing the conduct of negotiations by putting forward ideas and offers between the negotiating parties, and discussing among them to reach mutual agreement until the negotiated contract is concluded. As a result, at this stage, a set of obligations is created by each of the parties, otherwise civil liability may arise on the breaching party. This study …

The Effectiveness Of Field Training In Qualifying Students Of Media Faculties For The Labor Market: Yarmouk And Middle East Universities As A Model, Saddam Al-Masshaqbah, Ramez Abuhasirah

Middle East Journal of Communication Studies

The study aimed to identify the effectiveness of the field training course in raising the capabilities of students of media faculties in public and private Jordanian universities and qualifying them for the labor market. The results showed that the degree of students' commitment to attendance during the field training period in media institutions came to a "huge" degree, at a rate of (39.8%), while the degree of their benefit from field training came to a "medium" degree, at a rate of (29.2%). In: "Journalism Editing," Preparation of Radio and Television Programs," and "The Art of Speaking and Presentation." training" with …

Palestinian Journalists' Trends Towards Freelance Platforms As An Alternative Of Traditional Work In Journalistic Work And The Gratifications Achieved "A Field Study", Amin Wafi

Middle East Journal of Communication Studies

This study aims to identify the trends of media students towards the use of digital freelancer platforms in media work as an alternative to traditional journalism by knowing the degree of interest of students in digital freelancer platforms. The degree to which they are exposed، the reasons for exposure، the most important subjects to which they are exposed، the most important platforms they pursue، the most important skill needs، motivations، and stimuli that drive them to deal with freelancer platforms as an alternative to traditional journalism. It is a descriptive study and applied the survey curriculum in the framework of …

Creditors Strike Back: The Return Of The Cooperation Agreement, Samir D. Parikh

Duke Law Journal Online

In the low interest rate environment that followed the Great Recession, a fanatical demand for high-yield investments provided private equity firms an opportunity. Newfound borrower leverage facilitated credit documents with few creditor safeguards and various loopholes. Borrowers subject to these “sponsor-favorable” terms now had options in times of financial distress. More specifically, they had the option to strike first.

Utilization of coercive exchanges began in earnest around 2015 and has since flourished. Unmonitored portfolio companies experiencing financial distress now regularly rely on questionable interpretations of ambiguous contractual provisions to surreptitiously move assets away from creditors’ collateral baskets and subordinate lenders. …

Mixing Mathematics And Morality: Precarity And Moral Hazard In Employment Insurance And Personal Insolvency Law, Anna J. Lund

Dalhousie Law Journal

This article examines how financially precarious Canadians face particular challenges to accessing the benefits of employment insurance and personal insolvency because these two systems include features designed to guard against moral hazard. However, these design features do not adequately account for how an increasing number of Canadians are precariously employed and precariously indebted. This article synthesizes the research on precarious employment in Canada, and uses it to suggest how one might conceptualize precarious indebtedness. It then traces how the Canadian employment insurance and personal insolvency systems treat characteristics of financial precarity as evidence of misconduct. As a result, precariously employed …

Integrating Nist And Iso Cybersecurity Audit And Risk Assessment Frameworks Into Cameroonian Law, Bernard Ngalim

Journal of Cybersecurity Education, Research and Practice

This paper reviews cybersecurity laws and regulations in Cameroon, focusing on cybersecurity and information security audits and risk assessments. The importance of cybersecurity risk assessment and the implementation of security controls to cure deficiencies noted during risk assessments or audits is a critical step in developing cybersecurity resilience. Cameroon's cybersecurity legal framework provides for audits but does not explicitly enumerate controls. Consequently, integrating relevant controls from the NIST frameworks and ISO Standards can improve the cybersecurity posture in Cameroon while waiting for a comprehensive revision of the legal framework. NIST and ISO are internationally recognized as best practices in information …

The Aftermath Of Murphy V. Ncaa: State And Congressional Reactions To Leaving Sports Gambling Regulation To The States, Ethan Mordekhai

Cardozo Arts & Entertainment Law Journal (AELJ) Blog

In 2018, the Supreme Court ruled in Murphy v. NCAA that the Professional and Amateur Sports Protection Act of 1992 (“PAPSA”) violated the anti-commandeering rule and was therefore unconstitutional. PAPSA had effectively barred states from authorizing sports gambling. The act did not make sports gambling a federal crime, however it did allow professional sports organizations to bring civil actions to enjoin violations. Thus, after the New Jersey legislature authorized sports gambling in 2012, the NCAA brought a federal action to enjoin the law on the ground that it violated PAPSA. The case made its way to the Supreme Court, and …