中文
相关论文

相关论文: SAT-BO: Verification Rule Learning and Optimizatio…

200 篇论文

While E-commerce has been growing explosively and online shopping has become popular and even dominant in the present era, online transaction fraud control has drawn considerable attention in business practice and academic research.…

人工智能 · 计算机科学 2019-07-30 Junxuan Li , Yung-wen Liu , Yuting Jia , Jay Nanduri

Ensuring fairness in transaction fraud detection models is vital due to the potential harms and legal implications of biased decision-making. Despite extensive research on algorithmic fairness, there is a notable gap in the study of bias in…

机器学习 · 计算机科学 2024-09-09 Parameswaran Kamalaruban , Yulu Pi , Stuart Burrell , Eleanor Drage , Piotr Skalski , Jason Wong , David Sutton

This paper introduces a Machine Learning-Driven website Platform and Browser Extension designed to quickly enhance online security by providing real-time risk scoring and fraud detection for website legitimacy verification and consumer…

密码学与安全 · 计算机科学 2024-11-04 Md Kamrul Hasan Chy , Obed Nana Buadi

Fraudulent transactions and how to detect them remain a significant problem for financial institutions around the world. The need for advanced fraud detection systems to safeguard assets and maintain customer trust is paramount for…

机器学习 · 计算机科学 2023-12-22 Tomisin Awosika , Raj Mani Shukla , Bernardi Pranggono

This systematic literature review examines the role of machine learning in fraud detection within digital banking, synthesizing evidence from 118 peer-reviewed studies and institutional reports. Following the PRISMA guidelines, the review…

机器学习 · 计算机科学 2025-10-08 Md Zahin Hossain George , Md Khorshed Alam , Md Tarek Hasan

The efficiency of a modern economy depends on what we call the Value-Tracking Hypothesis: that market prices of key assets broadly track some underlying value. This can be expected if a sufficient weight of market participants are…

交易与市场微观结构 · 定量金融 2019-11-21 Nicholas CL Beale , Richard M Gunton , Kutlwano L Bashe , Heather S Battey , Robert S MacKay

Financial fraud detection is an important problem with a number of design aspects to consider. Issues such as algorithm selection and performance analysis will affect the perceived ability of proposed solutions, so for auditors and…

密码学与安全 · 计算机科学 2016-01-07 J. West , Maumita Bhattacharya

Modern financial electronic exchanges are an exciting and fast-paced marketplace where billions of dollars change hands every day. They are also rife with manipulation and fraud. Detecting such activity is a major undertaking, which has…

机器学习 · 计算机科学 2023-09-04 Timothy DeLise

We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability…

编程语言 · 计算机科学 2021-04-22 Caterina Urban , Antoine Miné

The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model…

软件工程 · 计算机科学 2009-11-20 Lucas Cordeiro , Bernd Fischer , Joao Marques-Silva

The application of machine learning to support the processing of large datasets holds promise in many industries, including financial services. However, practical issues for the full adoption of machine learning remain with the focus being…

机器学习 · 计算机科学 2021-05-14 Ismini Psychoula , Andreas Gutmann , Pradip Mainali , S. H. Lee , Paul Dunphy , Fabien A. P. Petitcolas

Machine learning has opened up new tools for financial fraud detection. Using a sample of annotated transactions, a machine learning classification algorithm learns to detect frauds. With growing credit card transaction volumes and rising…

机器学习 · 计算机科学 2022-08-26 Gayan K. Kulatilleke

Social reviews have dominated the web and become a plausible source of product information. People and businesses use such information for decision-making. Businesses also make use of social information to spread fake information using a…

机器学习 · 计算机科学 2023-01-05 Saeedreza Shehnepoor , Roberto Togneri , Wei Liu , Mohammed Bennamoun

Credit card fraud has emerged as major problem in the electronic payment sector. In this survey, we study data-driven credit card fraud detection particularities and several machine learning methods to address each of its intricate…

机器学习 · 计算机科学 2020-10-14 Yvan Lucas , Johannes Jurgovsky

The risks of frontier AI may require international cooperation, which in turn may require verification: checking that all parties follow agreed-on rules. For instance, states might need to verify that powerful AI models are widely deployed…

计算机与社会 · 计算机科学 2025-07-29 Mauricio Baker , Gabriel Kulp , Oliver Marks , Miles Brundage , Lennart Heim

This paper aims to categorize bank transactions using weak supervision, natural language processing, and deep neural network techniques. Our approach minimizes the reliance on expensive and difficult-to-obtain manual annotations by…

机器学习 · 计算机科学 2023-06-13 Liam Toran , Cory Van Der Walt , Alan Sammarone , Alex Keller

AI prevails in financial fraud detection and decision making. Yet, due to concerns about biased automated decision making or profiling, regulations mandate that final decisions are made by humans. Financial fraud investigators face the…

机器学习 · 计算机科学 2024-08-28 Angelos Chatzimparmpas , Evanthia Dimara

In fraud detection applications, the investigator is typically limited to controlling a restricted number k of cases. The most efficient manner of allocating the resources is then to try selecting the k cases with the highest probability of…

应用统计 · 统计学 2021-01-29 Simon Boge Brant , Ingrid Hobæk Haff

In the current Internet, there is no clean way for affected parties to react to poor forwarding performance: when a domain violates its Service Level Agreement (SLA) with a contractual partner, the partner must resort to ad-hoc…

网络与互联网体系结构 · 计算机科学 2012-10-26 Katerina Argyraki , Petros Maniatis , Ankit Singla

With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanisms, their success is also accountable to smart contracts.…

密码学与安全 · 计算机科学 2018-11-02 Dominik Harz , William Knottenbelt