139 citations
- Technische Universität DresdenDE18 papers
- Technical University of MunichDE8 papers
- Princeton UniversityUS4 papers
- Karlsruhe Institute of TechnologyDE3 papers
- Munich Center for Quantum Science and TechnologyDE3 papers
- Omar Al-Mukhtar UniversityLY3 papers
- Deutsche Telekom (Germany)DE2 papers
- Deutsche Telekom (Slovakia)SK2 papers
- Heidelberg UniversityDE2 papers
- Ludwig-Maximilians-Universität MünchenDE2 papers
- Nationales Centrum für Tumorerkrankungen DresdenDE2 papers
- University College LondonGB2 papers
4 papers · 1 filter
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer +2
Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guaran…
Building Resilience in Wireless Communication Systems With a Secret-Key Budget
Karl-Ludwig Besser, Rafael F. Schaefer, H. Vincent Poor
Resilience and power consumption are two important performance metrics for many modern communication systems, and it is therefore important to define, analyze, and optimize them. I…
Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
Sebastian Rehms, Stefan Köpsell, Verena Klös +1
This work introduces Information Inference Diagrams (I2Ds), a modeling framework aiming to complement existing approaches for privacy and security analysis of distributed systems.…
Integrated Sensing and Communications for Unsourced Random Access: Fundamental Limits
Mohammad Javad Ahmadi, Rafael F. Schaefer, H. Vincent Poor
This work considers the problem of integrated sensing and communications (ISAC) with a massive number of unsourced and uncoordinated users. In the proposed model, known as the unso…