Zobrazeno 1 - 10
of 1 348
pro vyhledávání: '"Kuppe A"'
The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger service and as such it is vital to build confidence in the correctness
Externí odkaz:
http://arxiv.org/abs/2406.17455
TLA+ is a formal language for specifying systems, including distributed algorithms, that is supported by powerful verification tools. In this work we present a framework for relating traces of distributed programs to high-level specifications written
Externí odkaz:
http://arxiv.org/abs/2404.16075
Improper parsing of attacker-controlled input is a leading source of software security vulnerabilities, especially when programmers transcribe informal format descriptions in RFCs into efficient parsing logic in low-level, memory unsafe languages. Se
Externí odkaz:
http://arxiv.org/abs/2404.10362
Autor:
Howard, Heidi, Alder, Fritz, Ashton, Edward, Chamayou, Amaury, Clebsch, Sylvan, Costa, Manuel, Delignat-Lavaud, Antoine, Fournet, Cedric, Jeffery, Andrew, Kerner, Matthew, Kounelis, Fotios, Kuppe, Markus A., Maffre, Julien, Russinovich, Mark, Wintersteiger, Christoph M.
Confidentiality, integrity protection, and high availability, abbreviated to CIA, are essential properties for trustworthy data systems. The rise of cloud computing and the growing demand for multiparty applications however means that building modern
Externí odkaz:
http://arxiv.org/abs/2310.11559
Autor:
Xiaohang Shao, Huaming Xu, Hyojin Kim, Sadaf ljaz, Fabian Beier, Vera Jankowski, Michaela Lellig, Lucia Vankann, Jan Niklas Werner, Lu Chen, Susanne Ziegler, Christoph Kuppe, Martin Zenke, Rebekka K. Schneider, Sikander Hayat, Turgay Saritas, Rafael Kramann
Publikováno v:
Cell Death Discovery, Vol 10, Iss 1, Pp 1-12 (2024)
Abstract Emerging evidence highlights cellular senescence’s pivotal role in chronic kidney disease (CKD). Proximal tubule epithelial cells (PTECs) and fibroblasts are major players in CKD and serve as cellular sources of senescence. The generation
Externí odkaz:
https://doaj.org/article/3e88d27537d14315a94d3bfb522b83d2
Publikováno v:
Arquivos de Neuro-Psiquiatria, Vol 82, Iss 07, Pp 1-11 (2024)
Background Alzheimer disease (AD) leads to cognitive decline and alters functional connectivity (FC) in key brain regions. Resting-state functional magnetic resonance imaging (rs-fMRI) assesses these changes using static-FC for overall correlation an
Externí odkaz:
https://doaj.org/article/bb10294102f34f49b90c2659ae0e9bec
Autor:
Christian W. Kuppe, Johannes A. Postma
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-13 (2024)
Abstract Plant growth and high yields are secured by intensive use of nitrogen (N) fertilizer, which, however, pollutes the environment, especially when N is in the form of nitrate. Ammonium is oxidized to nitrate by nitrifiers, but roots can release
Externí odkaz:
https://doaj.org/article/3bc21bab74944eaca3813e1e1e81dfb7
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract When lying inside a MRI scanner and even in the absence of any motion, the static magnetic field of MRI scanners induces a magneto-hydrodynamic stimulation of subjects’ vestibular organ (MVS). MVS thereby not only causes a horizontal vesti
Externí odkaz:
https://doaj.org/article/9c37347d31a84db992ee0ac4e205dccb
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. 11th International Symposium, ISoLA 2022, 2022, Rhodes, Greece. pp.88-105
Using an algorithm due to Safra for distributed termination detection as a running example, we present the main tools for verifying specifications written in TLA+. Examining their complementary strengths and weaknesses, we suggest a workflow that sup
Externí odkaz:
http://arxiv.org/abs/2211.07216
Beyond implementation correctness of a distributed system, it is equally important to understand exactly what users should expect to see from that system. Even if the system itself works as designed, insufficient understanding of its user-visible sem
Externí odkaz:
http://arxiv.org/abs/2210.13661