Publications: Security

2018

  • Forian Kelbert,Alexander Pretschner: Data Usage Control for Distributed Systems. ACM Transactions on Privacy and Security, 2018 more…

2016

  • Kelbert, Florian; Fromm, Alexander: Compliance Monitoring of Third-Party Applications in Online Social Networks. The 8th International Workshop on Privacy Engineering (Proceedings of the 8th International Workshop on Privacy Engineering), IEEE, 2016, 9-16 more…
  • Kristian Beckers, Jürgen Dürrwang, Dominik Holling: Standard Compliant Hazard and Threat Analysis for the Automotive Domain. Information 36 (7), 2016 more…
  • Peter Schaab, Kristian Beckers, Sebastian Pape: A Systematic Gap Analysis of Social Engineering Defence Mechanisms Considering Social Psychology. 10th International Symposium on Human Aspects of Information Security & Assurance, HAISA 2016 ,Frankfurt, Germany, July, 2016, Proceedings, to appear, 2016, 241-251 more…

2015

  • Banescu, Sebastian; Ochoa, Martín; Kunze, Nils; Pretschner, Alexander: Idea: Benchmarking Indistinguishability Obfuscation – A Candidate Implementation. 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer Science + Business Media, 2015 more…
  • Banescu, Sebastian; Pretschner, Alexander; Battré, Dominic; Cazzulani, Stéfano; Shield, Robert; Thompson, Greg: Software-Based Protection against "Changeware". Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2015 more…
  • Lovat, Enrico; Fromm, Alexander; Mohr, Martin; Pretschner, Alexander: SHRIFT System-wide HybRid Information Flow Tracking. ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, Springer International Publishing, 2015, 371-385 more…
  • Ochoa, Martín; Cuéllar, Jorge; Pretschner, Alexander; Hallgren, Per: Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer Science + Business Media, 2015 more…
  • Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers: Holistic security requirements analysis: An attacker's perspective. IEEE 23rd International Requirements Engineering Conference (RE) (Proceedings of the 2015 IEEE 23rd International Requirements Engineering Conference (RE)), IEEE, 2015, 282-283 more…
  • Tong Li, Jennifer Horkoff, Elda Paja, Kristian Beckers, John Mylopoulos: Analyzing Attack Strategies Through Anti-goal Refinement. 8th IFIP WG 8.1. Working Conference (8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings), Springer International Publishing, 2015, 75-90 more…

2014

  • Barthe, Gilles; Köpf, Boris; Mauborgne, Laurent; Ochoa, Martín: Leakage Resilience against Concurrent Cache Attacks. Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Springer Science + Business Media, 2014 more…
  • Lovat, Enrico; Oudinet, Johan; Pretschner, Alexander: On quantitative dynamic data flow tracking. Proceedings of the 4th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2014 more…
  • Rocchetto, Marco; Ochoa, Martín; Torabi Dashti, Mohammad: Model-Based Detection of CSRF. 29th IFIP TC 11 International Conference, SEC 2014, Marrakech, Morocco, June 2-4, 2014. Proceedings, Springer Science + Business Media, 2014 more…
  • Wüchner, Tobias; Ochoa, Martín; Pretschner, Alexander: Malware detection with quantitative data flow graphs. Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, Association for Computing Machinery (ACM), 2014 more…
  • Wüchner, Tobias; Pretschner, Alexander; Ochoa, Martín: DAVAST. Proceedings of the Eleventh Workshop on Visualization for Cyber Security, Association for Computing Machinery (ACM), 2014 more…

2013

  • Acatech (Ed.): Internet Privacy – Options for adequate realisation. Springer Science + Business Media, 2013 more…
  • Büchler, Matthias: Security Testing with Fault-Models and Properties. Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…
  • Fromm, Alexander; Kelbert, Florian; Pretschner, Alexander: Data Protection in a Cloud-Enabled Smart Grid. First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers, Springer Science + Business Media, 2013 more…
  • Kelbert, Florian; Pretschner, Alexander: Data usage control enforcement in distributed systems. Proceedings of the Third ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2013 more…
  • Kumari, Prachi; Pretschner, Alexander: Model-Based Usage Control Policy Derivation. Proceedings of the 5th International Conference on Engineering Secure Software and Systems, Springer Science + Business Media, 2013 more…
  • Vigano, Luca: The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. OWASP AppSec Research, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…

2012

  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Semi-Automatic Security Testing of Web Applications from a Secure Model. Proc. 6th IEEE Intl. Conf. on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Feth, Denis; Pretschner, Alexander: Flexible Data-Driven Security for Android. Proceedings of the 2012 IEEE Sixth International Conference on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Kelbert, Florian; Pretschner, Alexander: Towards a policy enforcement infrastructure for distributed usage control. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery (ACM), 2012 more…
  • Kelbert, Florian; Shirazi, Fatemeh; Simo, Hervais; Wüchner, Tobias; Buchmann, Johannes; Pretschner, Alexander; Waidner, Michael: State of Online Privacy: A Technical Perspective. Springer Science + Business Media, 2012 more…
  • Kumari, Prachi; Pretschner, Alexander: Deriving implementation-level policies for usage control enforcement. {Proceedings of the Second ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2012 more…
  • Pretschner, Alexander; Lovat, Enrico; Büchler, Matthias: Representation-Independent Data Usage Control. Proceedings of the 6th International Conference, and 4th International Conference on Data Privacy Management and Autonomous Spontaneus Security, Springer Science + Business Media, 2012 more…
  • Wuchner, Tobias; Pretschner, Alexander: Data Loss Prevention Based on Data-Driven Usage Control. Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…

2011

  • Beckert, B., Hofheinz, D., Müller-Quade, J., Pretschner, A., Snelting, G.: Software Security in Virtualized Infrastructures: The Smart Meter Example. it - Information Technology, 2011 more…
  • Cornelius Moucha, Enrico Lovat, and Alexander Pretschner: A virtualized usage control bus system. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 2011 more…
  • Kumari, Prachi; Pretschner, Alexander; Peschla, Jonas; Kuhn, Jens-Michael: Distributed data usage control for web applications. Proceedings of the First ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2011 more…
  • Lovat, Enrico; Pretschner, Alexander: Data-centric multi-layer usage control enforcement. Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery (ACM), 2011 more…
  • Moucha, Cornelius; Lovat, Enrico; Pretschner, Alexander: A Hypervisor-Based Bus System for Usage Control. Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security, Institute of Electrical & Electronics Engineers (IEEE), 2011 more…
  • Neisse, Ricardo; Holling, Dominik; Pretschner, Alexander: Implementing Trust in Cloud Infrastructures. Proceedings of the 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Institute of Electrical & Electronics Engineers (IEEE), 2011 more…
  • Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina: A Trustworthy Usage Control Enforcement Framework. Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security, Institute of Electrical & Electronics Engineers (IEEE), 2011 more…
  • Prachi Kumari, Florian Kelbert, Alexander Pretschner: Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example. Dependable Software for Critical Infrastructures, 2011 more…

2010

  • Prachi Kumari: Requirements Analysis for Privacy in Social Networks. 8th Intl. Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods (VG), 2010 more…

2009

  • Gheorghe, Gabriela; Massacci, Fabio; Neuhaus, Stephan; Pretschner, Alexander: GoCoMM: A Governance and Compliance Maturity Model. Proceedings of the First ACM Workshop on Information Security Governance, Association for Computing Machinery (ACM), 2009 more…
  • Harvan, Matúš; Pretschner, Alexander: State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. Proceedings of the 2009 Third International Conference on Network and System Security, Institute of Electrical & Electronics Engineers (IEEE), 2009 more…
  • Pretschner, A., Büchler, M., Harvan, M., Schaefer, C., Walter, T.: Usage Control Enforcement with Data Flow Tracking for X11. 5th Intl. Workshop on Security and Trust Management (STM), 2009 more…
  • Pretschner, A.; Schütz, F.; Schaefer, C.; Walter, T.: Policy Evolution in Distributed Usage Control. 4th Intl. Workshop on Security and Trust Management (STM'08), Elsevier BV, 2009, 109-123 more…
  • Pretschner, Alexander: An Overview of Distributed Usage Control. 2nd Conf. Knowledge Engineering: Principles and Techniques, 2009 more…

2008

  • Lotz, Volkmar; Pigout, Emmanuel; Fischer, Peter M.; Kossmann, Donald; Massacci, Fabio; Pretschner, Alexander: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. J. Wirtschaftsinformatik, Springer Science + Business Media, 2008, 383-391 more…
  • Pretschner, A.; Hilty, M.; Basin, D.; Schaefer, C.; Walter, T.: Mechanisms for usage control. Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, Association for Computing Machinery (ACM), 2008 more…
  • Pretschner, Alexander; Hilty, Manuel; Schütz, Florian; Schaefer, Christian; Walter, Thomas: Usage Control Enforcement: Present and Future. Security Privacy, IEEE, Institute of Electrical & Electronics Engineers (IEEE), 2008, 44-53 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Walter, Thomas: Negotiation of Usage Control Policies - Simply the Best? Availability, Reliability and Security, 2008. ARES 08. Third International Conference on Availability, Reliability and Security , Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…

2007

  • Berthold, Agreiter; Alam, Muhammad; Breu, Ruth; Hafner, Michael; Pretschner, Alexander; Seifert, Jean-Pierre; Zhang, Xinwen: A technical architecture for enforcing usage control requirements in service-oriented architectures. Proceedings of the 2007 ACM Workshop on Secure Web Services, Association for Computing Machinery (ACM), 2007 more…
  • Hilty, M., Pretschner, A., Basin, D.: Verteilte Nutzungskontrolle. digma , 2007 more…
  • Hilty, M.; Pretschner, A.; Basin, D.; Schaefer, C.; Walter, T.: Monitors for Usage Control. Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security,, Springer Science + Business Media, 2007 more…
  • Hilty, M.; Pretschner, A.; Basin, D.; Schaefer, C.; Walter, T.: A Policy Language for Distributed Usage Control. Proceedings of the 12th European Conference on Research in Computer Security, Springer Science + Business Media, 2007 more…
  • Hilty, Manuel; Pretschner, Alexander; Schaefer, Christian; Walter, Thomas: DUKE--Distributed Usage Control Enforcement. 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), Institute of Electrical & Electronics Engineers (IEEE), 2007 more…
  • Pretschner, Alexander; Massacci, Fabio; Hilty, Manuel: Usage Control in Service-Oriented Architectures. 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings, Springer Science + Business Media, 2007 more…

2006

  • Hilty, Manuel; Pretschner, Alexander; Schaefer, Christian; Schaefer, Christian; Walter, Thomas: Usage Control Requirements in Mobile and Ubiquitous Computing Applications. Systems and Networks Communications, 2006. ICSNC '06. International Conference, Institute of Electrical & Electronics Engineers (IEEE), 2006 more…
  • Pretschner, Alexander; Hilty, Manuel; Basin, David: Distributed usage control. Communications of the ACM, Association for Computing Machinery (ACM), 2006, 39 more…

2005

  • Hilty, M., Basin, D., Pretschner, A.: On Obligations. 10th European Symp. on Research in Computer Security (ESORICS'05), Springer LNCS , 2005 more…