LH

Lena Hoffmann

Mutual Connections
Loading...
S9-042025-2911943

Send Message

No file chosen
1 Publications
0 Followers
0 Following
0 Questions

👤 About

Skills & Expertise

No skills added yet.

Research Interests

No research interests added yet.

Connect With Me

📚 Publications (1)

Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments
Journal: ISCSITR - International Journal of Data Science • April 2021
Ensuring data privacy in high-stakes, multi-party computation (MPC) environments demands formally verified protocols that accommodate uncertainty and adversarial behavior. This paper presents a formal...
Formal verification Probabilistic automata Symbolic abstraction Multi-party computation Privacy protocols High-stakes data Secure communication Protocol analysis
dd