Rasmus C. Rønneberg

According to our database, Rasmus C. Rønneberg authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Scaling Information Flow Control By-Construction to Component-Based Software Architectures.

Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

2024

Quantitative Information Flow Control by Construction for Component-Based Systems.

Rasmus Carl Rønneberg

CoRR, 2024

2023

Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version).

Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski

CoRR, 2023

Exact and Efficient Bayesian Inference for Privacy Risk Quantification.

Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023