Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dusko Pavlovic
Dynamic Distributed Secure Storage Against Ransomware
IEEE Transactions on Computational Social Systems
Modeling
Simulation
Social Sciences
Human-Computer Interaction
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
