English
Related papers

Related papers: Future Mining: Learning for Safety and Security

200 papers

Critical infrastructure systems, including energy grids, healthcare facilities, transportation networks, and water distribution systems, are pivotal to societal stability and economic resilience. However, the increasing interconnectivity of…

Cryptography and Security · Computer Science 2025-12-25 Jenifer Paulraj , Brindha Raghuraman , Nagarani Gopalakrishnan , Yazan Otoum

The increasing use of AI technologies has led to increasing AI incidents, posing risks and causing harm to individuals, organizations, and society. This study recognizes and addresses the lack of standardized protocols for reliably and…

Computers and Society · Computer Science 2025-01-28 Avinash Agarwal , Manisha J Nene

The integration of Artificial Intelligence (AI) into safety-critical systems introduces a new reliability paradigm: silent failures, where AI produces confident but incorrect outputs that can be dangerous. This paper introduces the Formal…

Software Engineering · Computer Science 2026-03-03 Guan-Yan Yang , Farn Wang

Cloud computing has changed online communities in three dimensions, which are scalability, adaptability and reduced overhead. But there are serious security concerns which are brought about by its distributed and multi-tenant…

Cryptography and Security · Computer Science 2026-01-08 Gaurav Sarraf , Vibhor Pal

With the increasing use of Machine Learning (ML) in critical autonomous systems, runtime monitors have been developed to detect prediction errors and keep the system in a safe state during operations. Monitors have been proposed for…

Machine Learning · Computer Science 2022-09-01 Joris Guerin , Raul Sena Ferreira , Kevin Delmas , Jérémie Guiochet

The increased adoption of Artificial Intelligence (AI) presents an opportunity to solve many socio-economic and environmental challenges; however, this cannot happen without securing AI-enabled technologies. In recent years, most AI models…

Cryptography and Security · Computer Science 2021-02-10 Ayodeji Oseni , Nour Moustafa , Helge Janicke , Peng Liu , Zahir Tari , Athanasios Vasilakos

The conversation around artificial intelligence (AI) often focuses on safety, transparency, accountability, alignment, and responsibility. However, AI security (i.e., the safeguarding of data, models, and pipelines from adversarial…

Cryptography and Security · Computer Science 2025-04-24 Krti Tallam

The amount of data being produced at every epoch of second is increasing every moment. Various sensors, cameras and smart gadgets produce continuous data throughout its installation. Processing and analyzing raw data at a cloud server faces…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-21 Aditya Kumar , Satish Narayana Srirama

The recent decade witnessed a surge of increase in financial crimes across the public and private sectors, with an average cost of scams of $102m to financial institutions in 2022. Developing a mechanism for battling financial crimes is an…

Machine Learning · Computer Science 2023-04-20 Haobo Zhang , Junyuan Hong , Fan Dong , Steve Drew , Liangjie Xue , Jiayu Zhou

Recent advances in machine learning, particularly the emergence of foundation models, are leading to new opportunities to develop technology-based solutions to societal problems. However, the reasoning and inner workings of today's complex…

Computers and Society · Computer Science 2025-07-01 Rajeev Alur , Greg Durrett , Hadas Kress-Gazit , Corina Păsăreanu , René Vidal

In a time of rapidly evolving military threats and increasingly complex operational environments, the integration of AI into military operations proves significant advantages. At the same time, this implies various challenges and risks…

Artificial Intelligence · Computer Science 2025-10-03 Clara Maathuis , Kasper Cools

Mine fleet management algorithms can significantly reduce operational costs and enhance productivity in mining systems. Most current fleet management algorithms are evaluated based on self-implemented or proprietary simulation environments,…

Multiagent Systems · Computer Science 2024-04-02 Shi Meng , Bin Tian , Xiaotong Zhang , Shuangying Qi , Caiji Zhang , Qiang Zhang

The rapid development of artificial intelligence, especially deep learning technology, has advanced autonomous driving systems (ADSs) by providing precise control decisions to counterpart almost any driving event, spanning from anti-fatigue…

Machine Learning · Computer Science 2021-04-13 Yao Deng , Tiehua Zhang , Guannan Lou , Xi Zheng , Jiong Jin , Qing-Long Han

Federated learning has shown enormous promise as a way of training ML models in distributed environments while reducing communication costs and protecting data privacy. However, the rise of complex cyber-physical systems, such as the…

Machine Learning · Computer Science 2023-05-01 Omer Rana , Theodoros Spyridopoulos , Nathaniel Hudson , Matt Baughman , Kyle Chard , Ian Foster , Aftab Khan

Environmental perception obtained via object detectors have no predictable safety layer encoded into their model schema, which creates the question of trustworthiness about the system's prediction. As can be seen from recent adversarial…

Computer Vision and Pattern Recognition · Computer Science 2022-11-11 Abhishek Vivekanandan , Niels Maier , J. Marius Zoellner

The desire to use reinforcement learning in safety-critical settings has inspired a recent interest in formal methods for learning algorithms. Existing formal methods for learning and optimization primarily consider the problem of…

Artificial Intelligence · Computer Science 2019-06-05 Nathan Fulton , Andre Platzer

The introduction sets the stage for exploring collaborative approaches to bolstering smart vehicle cybersecurity through AI-driven threat detection. As the automotive industry increasingly adopts connected and automated vehicles (CAVs), the…

Cryptography and Security · Computer Science 2025-01-03 Syed Atif Ali , Salwa Din

The increasing deployment of Artificial Intelligence (AI) and other autonomous algorithmic systems presents the world with new systemic risks. While focus often lies on the function of individual algorithms, a critical and underestimated…

Computers and Society · Computer Science 2026-02-24 Maurice Chiodo , Dennis Müller

Safe learning is essential for deploying learningbased controllers in safety-critical robotic systems, yet existing approaches often enforce multiple safety constraints uniformly or via fixed priority orders, leading to infeasibility and…

Machine Learning · Computer Science 2026-02-02 Kiwan Wong , Wei Xiao , Daniela Rus