papers
Publications (9)
cs.LO2017
Runtime Verification of Temporal Properties over Out-of-order Data Streams
David Basin, Felix Klaedtke, Eugen ZÄlinescu
cs.CR2011
Secure Deletion on Log-structured File Systems
Joel Reardon, Claudio Marforio, Srdjan Capkun +1
cs.CR2013
Role Mining with Probabilistic Models
Mario Frank, Joachim M. Buhmann, David Basin
cs.CR2016
Strong and Provably Secure Database Access Control
Marco Guarnieri, Srdjan Marinovic, David Basin
cs.SE2012
Abstract Data Types in Event-B - An Application of Generic Instantiation
David Basin, Andreas Fürst, Thai Son Hoang +2
cs.CR2018
Cardinality Estimators do not Preserve Privacy
Damien Desfontaines, Andreas Lochbihler, David Basin
cs.CR2018
Exploring Website Location as a Security Indicator
Der-Yeuan Yu, Elizabeth Stobert, David Basin +1
cs.CR2016
Access Control Synthesis for Physical Spaces
Petar Tsankov, Mohammad Torabi Dashti, David Basin
cs.CR2017
Securing Databases from Probabilistic Inference
Marco Guarnieri, Srdjan Marinovic, David Basin