412 citations · 554 across the 18 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 21 cited
Runtime Verification of Temporal Properties over Out-of-order Data Streams
David Basin, Felix Klaedtke, Eugen Zălinescu
We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messa…
cs.CR2017
Securing Databases from Probabilistic Inference
Marco Guarnieri, Srdjan Marinovic, David Basin
Databases can leak confidential information when users combine query results with probabilistic data dependencies and prior knowledge. Current research offers mechanisms that eithe…