Cristina Nita-Rotaru

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 72

Top Topics

Formal Analysis

Distributed Systems

Geographically Distributed

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications