Anzahl der Treffer: 326
Erstellt: Fri, 19 Apr 2024 23:13:50 +0200 in 0.0905 sec


Hagedorn, Stefan; Kläbe, Steffen; Sattler, Kai-Uwe
Conquering a Panda's weaker self - fighting laziness with laziness : demo paper. - In: Advances in Database Technology - EDBT 2021, (2021), S. 670-673

https://doi.org/10.5441/002/edbt.2021.80
Jibril, Muhammad Attahir; Baumstark, Alexander; Götze, Philipp; Sattler, Kai-Uwe
JIT happens: transactional graph processing in persistent memory meets just-in-time compilation. - In: Advances in Database Technology - EDBT 2021, (2021), S. 37-48

http://dx.doi.org/10.5441/002/edbt.2021.05
Schlegel, Marius;
Trusted enforcement of application-specific security policies. - In: SECRYPT 2021, (2021), S. 343-355

While there have been approaches for integrating security policies into operating systems (OSs) for more than two decades, applications often use objects of higher abstraction requiring individual security policies with application-specific semantics. Due to insufficient OS support, current approaches for enforcing application-level policies typically lead to large and complex trusted computing bases rendering tamperproofness and correctness difficult to achieve. To mitigate this problem, we propose the application-level policy enforcement architecture APPSPEAR and a C++ framework for its implementation. The configurable framework enables developers to balance enforcement rigor and costs imposed by different implementation alternatives and to easily tailor an APPSPEAR implementation to individual application requirements. We argue that hardware-based trusted execution environments offer an optimal balance between effectiveness and efficiency of policy protection and enforcement. This claim is substantiated by a practical evaluation based on a medical record system.



Schlegel, Marius; Amthor, Peter
The missing piece of the ABAC puzzle: a modeling scheme for dynamic analysis. - In: SECRYPT 2021, (2021), S. 234-246

Attribute-based access control (ABAC) has made its way into the mainstream of engineering secure IT systems. At the same time, ABAC models are still lagging behind well-understood, yet more basic access control models in terms of dynamic analyzability. This has led to a plethora of methods, languages, and tools for designing and integrating ABAC policies, but only few to formally reason about them in the process. We present DABAC, a modeling scheme to pick up that missing piece and put it right into its place in the security engineering workflow. Based on an automaton calculus, we demonstrate how DABAC can be leveraged as a holistic formal basis for engineering ABAC models, analyzing their dynamic properties, and providing a functional specification for their implementation. This sets the stage for comprehensive tool support in building future ABAC systems.



Kläbe, Steffen; Sattler, Kai-Uwe; Baumann, Stephan
PatchIndex: exploiting approximate constraints in distributed databases. - In: Distributed and parallel databases, ISSN 1573-7578, Bd. 39 (2021), 3, S. 833-853

Cloud data warehouse systems lower the barrier to access data analytics. These applications often lack a database administrator and integrate data from various sources, potentially leading to data not satisfying strict constraints. Automatic schema optimization in self-managing databases is difficult in these environments without prior data cleaning steps. In this paper, we focus on constraint discovery as a subtask of schema optimization. Perfect constraints might not exist in these unclean datasets due to a small set of values violating the constraints. Therefore, we introduce the concept of a generic PatchIndex structure, which handles exceptions to given constraints and enables database systems to define these approximate constraints. We apply the concept to the environment of distributed databases, providing parallel index creation approaches and optimization techniques for parallel queries using PatchIndexes. Furthermore, we describe heuristics for automatic discovery of PatchIndex candidate columns and prove the performance benefit of using PatchIndexes in our evaluation.



https://doi.org/10.1007/s10619-021-07326-1
Schlegel, Marius;
Poster: Shielding AppSPEAR - enhancing memory safety for trusted application-level security policy enforcement. - In: SACMAT '21, (2021), S. 99-101

This paper tackles the problem of memory-safe implementation of the AppSPEAR framework for application-level security policy enforcement. We contribute with a feasibility study that demonstrates the performance overhead of applying Rust's memory safety features on top of SGX trusted execution technology.



https://doi.org/10.1145/3450569.3464396
Lasch, Robert; Schulze, Robert; Legler, Thomas; Sattler, Kai-Uwe
Workload-driven placement of column-store data structures on DRAM and NVM. - In: DAMON '21: proceedings of the 17th International Workshop on Data Management on New Hardware (DaMoN 2021), (2021), 5, insges. 8 S.

Non-volatile memory (NVM) offers lower costs per capacity and higher total capacities than DRAM. However, NVM cannot simply be used as a drop-in replacement for DRAM in database management systems due to its different performance characteristics. We thus investigate the placement of column-store data structures in a hybrid hierarchy of DRAM and NVM, with the goal of placing as much data as possible in NVM without compromising performance. After analyzing how different memory access patterns affect query runtimes when columns are placed in NVM, we propose a heuristic that leverages lightweight access counters to suggest which structures should be placed in DRAM and which in NVM. Our evaluation using TPC-H shows that more than 80% of the data touched by queries can be placed in NVM with almost no slowdown, while naively placing all data in NVM would increase runtime by 53%.



https://doi.org/10.1145/3465998.3466008
Baumstark, Alexander; Jibril, Muhammad Attahir; Götze, Philipp; Sattler, Kai-Uwe
Instant graph query recovery on persistent memory. - In: DAMON '21: proceedings of the 17th International Workshop on Data Management on New Hardware (DaMoN 2021), (2021), 10, insges. 4 S.

Persistent memory (PMem) - also known as non-volatile memory (NVM) - offers new opportunities not only for the design of data structures and system architectures but also for failure recovery in databases. However, instant recovery can mean not only to bring the system up as fast as possible but also to continue long-running queries which have been interrupted by a system failure. In this work, we discuss how PMem can be utilized to implement query recovery for analytical graph queries. Furthermore, we investigate the trade-off between the overhead of managing the query state in PMem at query runtime as well as the recovery and restart costs.



https://doi.org/10.1145/3465998.3466011
Kläbe, Steffen; Hagedorn, Stefan
When bears get machine support: applying machine learning models to scalable DataFrames with Grizzly. - In: Datenbanksysteme für Business, Technologie und Web (BTW 2021), (2021), S. 195-214

The popular Python Pandas framework provides an easy-to-use DataFrame API that enables a broad range of users to analyze their data. However, Pandas faces severe scalability issues in terms of runtime and memory consumption, limiting the usability of the framework. In this paper we present Grizzly, a replacement for Python Pandas. Instead of bringing data to the operators like Pandas, Grizzly ships program complexity to database systems by transpiling the DataFrame API to SQL code. Additionally, Grizzly offers user-friendly support for combining different data sources, user-defined functions, and applying Machine Learning models directly inside the database system. Our evaluation shows that Grizzly significantly outperforms Pandas as well as state-of-the-art frameworks for distributed Python processing in several use cases.



Kläbe, Steffen; Sattler, Kai-Uwe; Baumann, Stephan
Updatable materialization of approximate constraints. - In: 2021 IEEE 37th International Conference on Data Engineering, (2021), S. 1991-1996

Modern big data applications integrate data from various sources. As a result, these datasets may not satisfy perfect constraints, leading to sparse schema information and non-optimal query performance. The existing approach of PatchIndexes enable the definition of approximate constraints and improve query performance by exploiting the materialized constraint information. As real world data warehouse workloads are often not limited to read-only queries, we enhance the PatchIndex structure towards an update-conscious design in this paper. Therefore, we present a sharded bitmap as the underlying data structure which offers efficient update operations, and describe approaches to maintain approximate constraints under updates, avoiding index recomputations and full table scans. In our evaluation, we prove that PatchIndexes provide more lightweight update support than traditional materialization approaches.



https://doi.org/10.1109/ICDE51399.2021.00189