English
Related papers

Related papers: MonkeyDB: Effectively Testing Correctness against …

200 papers

Modern enterprise database systems face significant challenges in balancing data security and performance. Ensuring robust encryption for sensitive information is critical for systems' compliance with security standards. Although holistic…

Cryptography and Security · Computer Science 2025-07-01 Mohamed Sami Rakha , Adam Sorrenti , Greg Stager , Walid Rjaibi , Andriy Miranskyy

In general, deep learning models use to make informed decisions immensely. Developed models are mainly based on centralized servers, which face several issues, including transparency, traceability, reliability, security, and privacy. In…

Cryptography and Security · Computer Science 2023-03-28 Asma Jodeiri Akbarfam , Sina Barazandeh , Hoda Maleki , Deepti Gupta

SecureBoost is a tree-boosting algorithm leveraging homomorphic encryption to protect data privacy in vertical federated learning setting. It is widely used in fields such as finance and healthcare due to its interpretability,…

Machine Learning · Computer Science 2023-08-09 Ziyao Ren , Yan Kang , Lixin Fan , Linghua Yang , Yongxin Tong , Qiang Yang

The process of database knob tuning has always been a challenging task. Recently, database knob tuning methods has emerged as a promising solution to mitigate these issues. However, these methods still face certain limitations.On one hand,…

Databases · Computer Science 2024-06-04 Jian Geng , Hongzhi Wang , Yu Yan

Context: The IoT system infrastructure platform facility vulnerability attack has become the main battlefield of network security attacks. Most of the traditional vulnerability mining methods rely on vulnerability detection tools to realize…

Cryptography and Security · Computer Science 2022-12-06 Wen Zhou

Face detection is a well-explored problem. Many challenges on face detectors like extreme pose, illumination, low resolution and small scales are studied in the previous work. However, previous proposed models are mostly trained and tested…

Computer Vision and Pattern Recognition · Computer Science 2018-04-23 Yuqian Zhou , Ding Liu , Thomas Huang

Performance of object-oriented database systems (OODBs) is still an issue to both designers and users nowadays. The aim of this paper is to propose a generic discrete-event random simulation model, called VOODB, in order to evaluate the…

Databases · Computer Science 2007-05-23 Jérôme Darmont , Michel Schneider

While there has been much recent progress using deep learning techniques to separate speech and music audio signals, these systems typically require large collections of isolated sources during the training process. When extending audio…

Sound · Computer Science 2020-09-01 Fatemeh Pishdadian , Gordon Wichern , Jonathan Le Roux

We analyze security aspects of the SecureDNA system regarding its system design, engineering, and implementation. This system enables DNA synthesizers to screen order requests against a database of hazards. By applying novel cryptography,…

Cryptography and Security · Computer Science 2025-12-11 Alan T. Sherman , Jeremy J. Romanik Romano , Edward Zieglar , Enis Golaszewski , Jonathan D. Fuchs , William E. Byrd

Internet of Things (IoT) occupies a vital aspect of our everyday lives. IoT networks composed of smart-devices which communicate and transfer the information without the physical intervention of humans. Due to such proliferation and…

Cryptography and Security · Computer Science 2020-01-08 Jawad Ali , Ahmad Shahrafidz Khalid , Eiad Yafi , Shahrulniza Musa , Waqas Ahmed

Decentralization has been touted as the principal security advantage which propelled blockchain systems at the forefront of developments in the financial technology space. Its exact semantics nevertheless remain highly contested and…

Cryptography and Security · Computer Science 2024-04-16 Christina Ovezik , Dimitris Karakostas , Aggelos Kiayias

Data distribution across different facilities offers benefits such as enhanced resource utilization, increased resilience through replication, and improved performance by processing data near its source. However, managing such data is…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-02 Dante D. Sanchez-Gallegos , J. L. Gonzalez-Compean , Maxime Gonthier , Valerie Hayot-Sasson , J. Gregory Pauloski , Haochen Pan , Kyle Chard , Jesus Carretero , Ian Foster

This article aims to study intrusion attacks and then develop a novel cyberattack detection framework to detect cyberattacks at the network layer (e.g., Brute Password and Flooding of Transactions) of blockchain networks. Specifically, we…

Cryptography and Security · Computer Science 2024-05-07 Tran Viet Khoa , Do Hai Son , Dinh Thai Hoang , Nguyen Linh Trung , Tran Thi Thuy Quynh , Diep N. Nguyen , Nguyen Viet Ha , Eryk Dutkiewicz

Mock assertions provide developers with a powerful means to validate program behaviors that are unobservable to test assertions. Despite their significance, they are rarely considered by automated test generation techniques. Effective…

Software Engineering · Computer Science 2025-03-26 Hengcheng Zhu , Valerio Terragni , Lili Wei , Shing-Chi Cheung , Jiarong Wu , Yepang Liu

Cloud DBs offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud DBs are complicated black boxes, running in a different administrative domain from their clients;…

Databases · Computer Science 2020-07-03 Cheng Tan , Changgeng Zhao , Shuai Mu , Michael Walfish

Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diverse computational effects, and they have received much…

Modern AI- and Data-intensive software systems rely heavily on data science and machine learning libraries that provide essential algorithmic implementations and computational frameworks. These libraries expose complex APIs whose correct…

Software Engineering · Computer Science 2024-11-20 Xiufeng Xu , Fuman Xie , Chenguang Zhu , Guangdong Bai , Sarfraz Khurshid , Yi Li

This paper describes an information system designed to support the large volume of monitoring information generated by a distributed testbed. This monitoring information is produced by several subsystems and consists of status and…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-13 Warren Smith , Shava Smallen

In federated learning, multiple parties collaborate in order to train a global model over their respective datasets. Even though cryptographic primitives (e.g., homomorphic encryption) can help achieve data privacy in this setting, some…

Cryptography and Security · Computer Science 2020-11-13 Javad Ghareh Chamani , Dimitrios Papadopoulos

Learned indexes have emerged as a promising alternative to traditional index structures, offering higher throughput and lower memory usage by approximating the cumulative key distribution function with lightweight models. Despite these…

Databases · Computer Science 2026-05-25 Shubham Vashisth , Olivier Michaud , Bettina Kemme , Oana Balmau