English
Related papers

Related papers: Designing a Provenance Analysis for SGX Enclaves

200 papers

The deployment of control systems with network-connected components has made feedback control systems vulnerable to attacks over the network. This paper considers the problem of intrusion detection and mitigation in supervisory control…

Formal Languages and Automata Theory · Computer Science 2018-07-16 Lilian Kawakami Carvalho , Yi-Chin Wu , Raymond Kwong , Stéphane Lafortune

Intel(r) Software Guard Extensions (SGX) was originally released on client platforms and later extended to single socket server platforms. As developers have become familiar with the capabilities of the technology, the applicability of this…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-14 Simon Johnson , Raghunandan Makaram , Amy Santoni , Vinnie Scarlata

We present ProvenanceWidgets, a Javascript library of UI control elements such as radio buttons, checkboxes, and dropdowns to track and dynamically overlay a user's analytic provenance. These in situ overlays not only save screen space but…

Human-Computer Interaction · Computer Science 2024-07-25 Arpit Narechania , Kaustubh Odak , Mennatallah El-Assady , Alex Endert

We present a security framework that strengthens distributed machine learning by standardizing integrity protections across CPU and GPU platforms and significantly reducing verification overheads. Our approach co-locates integrity…

Cryptography and Security · Computer Science 2025-10-29 Marcin Spoczynski , Marcela S. Melara

This paper presents PUBSUB-SGX, a content-based publish-subscribe system that exploits trusted execution environments (TEEs), such as Intel SGX, to guarantee confidentiality and integrity of data as well as anonymity and privacy of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-27 Sergei Arnautov , Andrey Brito , Pascal Felber , Christof Fetzer , Franz Gregor , Robert Krahn , Wojciech Ozga , André Martin , Valerio Schiavoni , Fábio Silva , Marcus Tenorio , Nikolaus Thümmel

A number of trusted execution environments (TEEs) have been proposed by both academia and industry. However, most of them require specific hardware or firmware changes and are bound to specific hardware vendors (such as Intel, AMD, ARM, and…

Cryptography and Security · Computer Science 2022-12-09 Yuekai Jia , Shuang Liu , Wenhao Wang , Yu Chen , Zhengde Zhai , Shoumeng Yan , Zhengyu He

Software-Defined Networking (SDN) is another technology that has been developing in the last few years as a relevant technique to improve network programmability and administration. Nonetheless, its centralized design presents a major…

Cryptography and Security · Computer Science 2026-04-24 Ashikuzzaman , Md. Saifuzzaman Abhi , Mahabubur Rahman , Md. Manjur Ahmed , Md. Mehedi Hasan , Md. Ahsan Arif

In this paper, we focus on addressing the challenges of detecting malicious attacks in networks by designing an advanced Explainable Intrusion Detection System (xIDS). The existing machine learning and deep learning approaches have…

Cryptography and Security · Computer Science 2025-03-04 Muhammad Adil , Mian Ahmad Jan , Safayat Bin Hakim , Houbing Herbert Song , Zhanpeng Jin

Large-scale Machine Learning (ML) based Software Systems are increasingly developed by distributed teams situated in different trust domains. Insider threats can launch attacks from any domain to compromise ML assets (models and datasets).…

Software Engineering · Computer Science 2022-06-22 Nguyen Khoi Tran , Bushra Sabir , M. Ali Babar , Nini Cui , Mehran Abolhasan , Justin Lipman

Although machine learning (ML) is widely used for predictive tasks, there are important scenarios in which ML cannot be used or at least cannot achieve its full potential. A major barrier to adoption is the sensitive nature of predictive…

Cryptography and Security · Computer Science 2020-11-25 Xianrui Meng , Joan Feigenbaum

Protection of data-in-use is a key priority, for which Trusted Execution Environment (TEE) technology has unarguably emerged as a, possibly the most, promising solution. Multiple server-side TEE offerings have been released over the years,…

Cryptography and Security · Computer Science 2025-04-03 Luigi Coppolino , Salvatore D'Antonio , Davide Iasio , Giovanni Mazzeo , Luigi Romano

Modern computing environments demand robust security measures to protect sensitive data and resources. Ciphertext-Policy Attribute-Based Encryption (CP-ABE) is a well-established encryption technique known for its fine-grained access…

Cryptography and Security · Computer Science 2024-09-12 Vivek Suryawanshi , Shamik Sural

While Endpoint Detection and Response (EDR) are able to efficiently monitor threats by comparing static rules to the event stream, their inability to incorporate past system context leads to high rates of false alarms. Recent work has…

Cryptography and Security · Computer Science 2024-08-27 Akul Goyal , Jason Liu , Adam Bates , Gang Wang

Sequence models, such as Large Language Models (LLMs) and autoregressive image generators, have a tendency to memorize and inadvertently leak sensitive information. While this tendency has critical legal implications, existing tools are…

Cryptography and Security · Computer Science 2025-06-06 Lorenzo Rossi , Michael Aerni , Jie Zhang , Florian Tramèr

Analytic provenance can be visually encoded to help users track their ongoing analysis trajectories, recall past interactions, and inform new analytic directions. Despite its significance, provenance is often hardwired into analytics…

Human-Computer Interaction · Computer Science 2025-05-20 Arpit Narechania , Shunan Guo , Eunyee Koh , Alex Endert , Jane Hoffswell

Cloud service providers are adopting Trusted Execution Environments (TEEs) to provide hardware-guaranteed security to applications running on remote, untrusted data centers. However, migrating such applications still relies on the…

Cryptography and Security · Computer Science 2026-01-21 Sandeep Kumar , Abhisek Panda , Smruti R. Sarangi

Trusted execution environments like Intel SGX provide \emph{enclaves}, which offer strong security guarantees for applications. Running entire applications inside enclaves is possible, but this approach leads to a large trusted computing…

Cryptography and Security · Computer Science 2023-12-21 Peterson Yuhala , Pascal Felber , Hugo Guiroux , Jean-Pierre Lozi , Alain Tchana , Valerio Schiavoni , Gaël Thomas

Today, machine learning is widely applied in sensitive, security-related, and financially lucrative applications. Model extraction attacks undermine current business models where a model owner sells model access, e.g., via MLaaS APIs.…

Cryptography and Security · Computer Science 2026-04-22 Jonas Sander , Anja Rabich , Nick Mahling , Felix Maurer , Jonah Heller , Qifan Wang , Thomas Eisenbarth , David Oswald

Provenance systems are used to capture history metadata, applications include ownership attribution and determining the quality of a particular data set. Provenance systems are also used for debugging, process improvement, understanding…

Cryptography and Security · Computer Science 2017-05-19 Oluwakemi Hambolu , Lu Yu , Jon Oakley , Richard R. Brooks , Ujan Mukhopadhyay , Anthony Skjellum

Privileged malware neutralizes software-based versioning systems and destroys data. To counter this threat, a versioning solid-state drive (SSD) that performs versioning inside the SSD has been studied. An SSD is a suitable candidate for…

Cryptography and Security · Computer Science 2021-08-17 Jinwoo Ahn , Seungjin Lee , Jinhoon Lee , Youngwoo Ko , Junghee Lee , Youngjae Kim