2
Publications
170
Citations
2
H-Index
2017
Active since
Affiliations
Katura Harvey is an author at Max Planck Institute for Software Systems specializing in system software, formal verification, and data security.
Top concepts
EngineeringData PrivacyVerificationData SecurityAccess ControlFormal MethodsData ManagementSystem SoftwareComputer ScienceDatabase Security
Publications per year
2017–2019
2
2
Measurement and Analysis of Hajime, a Peer-to-peer IoT Botnet
Stephen Herwig, Katura Harvey, George Hughey et al. · 2019 · 154 citations · Full text
Qapla: Policy Compliance for Database-backed Systems
Aastha Mehta, Eslam Elnikety, Katura Harvey et al. · Max Planck Digital Library · 2017 · 16 citations · Full text
Rows per page
1–2 of 2