Ausgewählte Vorträge
- Achim D. Brucker.
BPM and Cloud Integration: A New Driver for Research in Security in Business Processes. Guest Lecture: Konzepte und Anwendung von Workflowsystemen, Karlsruhe Institute of Technology (KIT), 13. feb. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Deploying Static Application Security Testing on a Large Scale. GI Sicherheit 2014, Vienna, Austria, 19. mar. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Zertifizierte Datensicherheit für mobile Anwendungen. GI Sicherheit 2014, Vienna, Austria, 20. mar. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
SAST for JavaScript: A Brief Overview of Commercial Tools. Dagstuhl Seminar 14271 "Scripting Languages and Frameworks: Analysis and Verification", 30. jun. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
A Collection of Real World (JavaScript) Security Problems: Examples from 2 1/2 Applications Areas of JavaScript. Dagstuhl Seminar 14271 "Scripting Languages and Frameworks: Analysis and Verification", 02. jul. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Industrial Challenges of Secure Software Development. Seminar on Road Mapping Cybersecurity Research and Innovation (NIS WG3/CAPITAL/CSP FORUM), 08. oct. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Integration of Formal Methods and Testing for Model-Based Security Engineering. NII Shonan Meeting Seminar 048 "Integration of Formal Method and Testing for Model-Based Systems Engineering", 01. dec. 2014.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Security in the Context of Business Processes: Thoughts from a System Vendor's Perspective. Dagstuhl Seminar 13341 "Verifiably Secure Process-Aware Information Systems", 19. aug. 2013. Invited Keynote.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Reasoning over Secure Business Processes. Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas", 21. may. 2013.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Modeling@SAP. Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas", 20. may. 2013.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Integrating Application Security into a Software Development Process. 2. Tagung IT Sicherheit: Sicherheit in der Cloud und in Applikationen, 31. jan. 2013.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Service Compositions: Curse or Blessing for Security?. International Workshop on Behavioural Types (BEAT), Madrid, Spain, 05. sep. 2013. Invited Keynote.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker und Lukas Brügger.
Model-based Conformance Testing of Security Properties. Dagstuhl Seminar 13012 "Symbolic Methods in Testing", 09. jan. 2013.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi und Bo Zhou.
A Framework for Secure Service Composition. ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT), Washington D.C., USA, 11. sep. 2013.
(Zusammenfassung) (Folien) (Handout) (Artikel als PDF Datei) (BibTeX) ( )
- Achim D. Brucker.
Integrating Automated and Interactive Protocol Verification. Computer Science Colloquium at the German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany, 09. dec. 2009.
(BibTeX) ( )
- Achim D. Brucker und Sebastian A. Mödersheim.
Integrating Automated and Interactive Protocol Verification. Workshop on Formal Aspects in Security and Trust (FAST 2009), Eindhoven, The Netherlands, 06. nov. 2009.
(BibTeX) ( )
- Achim D. Brucker und Helmut Petritsch.
Extending Access Control Models with Break-glass. ACM symposium on access control models and technologies (SACMAT), Strea, Italy, 05. jun. 2009.
(Zusammenfassung) (Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker und Burkhart Wolff.
HOL-TestGen: An Interactive Test-case Generation Framework. Fundamental Approaches to Software Engineering (FASE09), York, UK, 27. mar. 2009.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Model-driven Security with Support for Formal Analysis Methods. Karlsruher Fachkreis IT Sicherheit, Karlsruhe, Germany, 29. jan. 2008.
(BibTeX) ( )
- Achim D. Brucker.
Model-driven Security - An Introduction to SecureUML. Security and Trust Summit, Sophia-Antipolis, France, 18. apr. 2008.
(BibTeX) ( )
- Achim D. Brucker.
HOL-OCL Tool Demonstration. OCL Workshop at the UML/MoDELS Conferences 2008, Toulouse, France, 30. sep. 2008.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Formal Analysis of UML/OCL Models. Computer Science Colloquium at the University Bremen, Bremen, Germany, 29. oct. 2008.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker und Burkhart Wolff.
HOL-OCL - A Formal Proof Environment for UML/OCL. Fundamental Approaches to Software Engineering (FASE08), Budapest, Hungary, 31. mar. 2008.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker und Burkhart Wolff.
Analyzing UML/OCL Models with HOL-OCL. Tutorial at MoDELS 2008, Toulouse, France, 28. sep. 2008.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
Verification of UML/OCL Specifications with HOL-OCL. Invited guest lecture, part of the lecture "Formal Specification and Verification" (WS 2006), Innsbruck, Austria, 8. jan. 2007.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
An Application of Isabelle/HOL: HOL-OCL. Part of the lecture "Computer supported Modeling and Reasoning" (WS 2006), ETH Zurich, Switzerland, 31. jan. 2007.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
An Interactive Proof Environment for Object-oriented Specifications. Ph.D. Defense, ETH Zurich, Switzerland, 9. mar. 2007.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker und Burkhart Wolff.
Theorem-prover based Testing with HOL-TestGen. Tutorial at Testcom/Fates 2007, Tallinn, Estonia, 26. jun. 2007.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker, Jürgen Doser und Burkhart Wolff.
Semantic Issues of OCL: Past, Present, and Future. OCL for (Meta-) Models in Multiple Application Domains (OclApps 2006), Genova, Italy, 2. oct. 2006.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker, Jürgen Doser und Burkhart Wolff.
A Model Transformation Semantics and Analysis Methodology for SecureUML. Model-driven Engineering Langauges and Systems (MoDELs 2006), Genova, Italy, 4. oct. 2006.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
CASE tool-based system development using UML/OCL. Meeting with Micronas AG, Freiburg, Germany, 12. apr. 2002.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker.
OCL: Bridging the Gap between Semi-Formal and Formal Specification. Meeting with Hitatchi, Freiburg, Germany, 30. sep. 2002.
(Folien) (Handout) (BibTeX) ( )
- Achim D. Brucker und Burkhart Wolff.
HOL-OCL: Experiences, Consequences and Design Choices. UML 2002, Dresden, Germany, 3. oct. 2002.
(Folien) (Handout) (BibTeX) ( )