May 15, 2024, 4:11 a.m. | Sebastian Rehms, Stefan K\"opsell, Verena Kl\"os, Florian Tschorsch

cs.CR updates on arXiv.org arxiv.org

arXiv:2405.08356v1 Announce Type: new
Abstract: This paper proposes a reasoning framework for privacy properties of systems and their environments that can capture any knowledge leaks on different logical levels of the system to answer the question: which entity can learn what? With the term knowledge we refer to any kind of data, meta-data or interpretation of those that might be relevant. To achieve this, we present a modeling framework that forces the developers to explicitly describe which knowledge is available …

analysis arxiv can capture cs.cr environments framework kind knowledge leaks learn privacy question reasoning system systems

Sr. Product Manager

@ MixMode | Remote, US

Information Security Engineers

@ D. E. Shaw Research | New York City

Technology Security Analyst

@ Halton Region | Oakville, Ontario, Canada

Senior Cyber Security Analyst

@ Valley Water | San Jose, CA

Principal Software Engineer - Threat Detection

@ AppOmni | Remote, USA

Senior Security & GRC Lead

@ GoHenry | London, England, United Kingdom