Publications
| These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. |
2012
- R. Dimitrova, B. Finkbeiner, M. Kovacs, M. Rabe and H. Seidl. Model Checking Secrecy in Reactive Systems. In Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2012.
To appear [ BibTeX entry ]
2011
- R. Accorsi. Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen. In INFORMATIK 2011 - Dependable Software for Critical Infrastructures - Proceedings of DSCI, in Berlin, Germany. LNI. GI, 2011.
(to appear) [ BibTeX entry ] - R. Accorsi and C. Wonnemann. Strong non-leak guarantees for workflow models. In Proceedings of the 26th ACM Symposium on Applied Computing (SAC), pages 308-314. ACM, 2011.
- F. Freiling and S. Schinzel. Detecting Hidden Storage Side Channel Vulnerabilities in Networked Applications. In Proceedings of the 26th IFIP TC-11 International Information Security Conference (IFIP/SEC), 2011.
- R. Gay, H. Mantel and B. Sprick. Service Automata. In Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST), 2011.
- F. Hadasch, B. Mueller and A. Maedche. Leaking Confidential Information by Non-Malicious User Behaviour in Enterprise Systems - Design of an Empirical Study. In Proceedings of the 6th Mediterranean Conference on Information Systems (MCIS), 2011.
- P. Kumari, A. Pretschner, J. Peschla and J.-M. Kuhn. Distributed data usage control for web applications: a social network implementation. In Proceedings of the first ACM conference on Data and application security and privacy. CODASPY '11, pages 85-96. ACM, 2011.
- R. Küsters, T. Truderung and A. Vogt. Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. In Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P), pages 538-553. IEEE Computer Society, 2011.
- R. Küsters, T. Truderung and A. Vogt. A Game-Based Definition of Coercion-Resistance and its Applications. In Journal of Computer Security (special issue of selected CSF 2011 papers), 2011.
To appear [ BibTeX entry ] - H. Mantel, D. Sands and H. Sudbrock. Assumptions and Guarantees for Compositional Noninterference. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF). IEEE Computer Society, 2011.
- S. Schinzel. An Efficient Mitigation Method for Timing Side Channels on the Web. In Proceedings of the second International Workshop on Constructive Side-Channel Analysis and Secure Design, 2011.
2010
- R. Küsters, T. Truderung and A. Vogt. Proving Coercion-Resistance of Scantegrity II. In Proceedings of the 12th International Conference on Information and Communications Security (ICICS). Lecture Notes in Computer Science, 6476, pages 281-295. Springer, 2010.
12 hits found
BibTeX file of all entries
BibTeX file of all entries
Notification of publications:
Please submit Your RS3-publications by sending an bibtex-entry toassistant at spp-rs3.de. Remember to name Your project as well as the whole priority programme RS3 in Your publication. The publications will be listed on this page.
