Srdjan Marinovic

According to our database, Srdjan Marinovic authored at least 17 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Toward Shared Ownership in the Cloud.

Hubert Ritzdorf, Claudio Soriente, Ghassan O. Karame, Srdjan Marinovic, Damian Gruber, Srdjan Capkun

IEEE Trans. Inf. Forensics Secur., 2018

2017

Towards Shared Ownership in the Cloud.

Hubert Ritzdorf, Claudio Soriente, Ghassan O. Karame, Srdjan Marinovic, Damian Gruber, Srdjan Capkun

IACR Cryptol. ePrint Arch., 2017

Securing Databases from Probabilistic Inference.

Marco Guarnieri, Srdjan Marinovic, David A. Basin

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Strong and Provably Secure Database Access Control.

Marco Guarnieri, Srdjan Marinovic, David A. Basin

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

2015

Monitoring of temporal first-order properties with aggregations.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Formal Methods Syst. Des., 2015

Commune: Shared Ownership in an Agnostic Cloud.

Claudio Soriente, Ghassan O. Karame, Hubert Ritzdorf, Srdjan Marinovic, Srdjan Capkun

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

2014

Rumpole: An Introspective Break-Glass Access Control Language.

Srdjan Marinovic, Naranker Dulay, Morris Sloman

ACM Trans. Inf. Syst. Secur., 2014

On Real-Time Monitoring with Imprecise Timestamps.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Proceedings of the Runtime Verification - 5th International Conference, 2014

Decentralized Composite Access Control.

Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Fail-Secure Access Control.

Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2012

Monitoring Compliance Policies over Incomplete and Disagreeing Logs.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Rumpole: a flexible break-glass access control model.

Srdjan Marinovic, Robert Craven, Jiefei Ma, Naranker Dulay

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2010

Collaborative Privacy Policy Authoring in a Social Networking Context.

Ryan Wishart, Domenico Corapi, Srdjan Marinovic, Morris Sloman

Proceedings of the POLICY 2010, 2010

Teleo-Reactive Policies in Ponder2.

Kevin P. Twidle, Srdjan Marinovic, Naranker Dulay

Proceedings of the POLICY 2010, 2010

Teleo-Reactive workflows for pervasive healthcare.

Srdjan Marinovic, Kevin P. Twidle, Naranker Dulay

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

Teleo-Reactive policies for managing human-centric pervasive services.

Srdjan Marinovic, Kevin P. Twidle, Naranker Dulay, Morris Sloman

Proceedings of the 6th International Conference on Network and Service Management, 2010

Distributed Orchestration of Pervasive Services.

Leonardo Mostarda, Srdjan Marinovic, Naranker Dulay

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010