Security in the Context of Business Processes: Thoughts from a System Vendor's Perspective
SAST for JavaScript: A Brief Overview of Commercial Tools
Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL
A Collection of Real World (JavaScript) Security Problems: Examples from 2 1/2 Applications Areas of JavaScript
Model-based Conformance Testing of Security Properties
Service Compositions: Curse or Blessing for Security?
Industrial Challenges of Secure Software Development
Extending Access Control Models with Break-glass
BPM and Cloud Integration: A New Driver for Research in Security in Business Processes
A Framework for Secure Service Composition
Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited
Integrating Application Security into a Software Development Process
Security Testing: Myths, Challenges, and Opportunities - Experiences in Integrating Security Testing "End-to-End" Into the Software Life-Cycle at SAP
Bringing Security Testing to Development: How to Enable Developers to Act as Security Experts
Deploying Static Application Security Testing on a Large Scale
Verifying Test-Hypotheses: An Experiment in Test and Proof
A Case Study of a Formalized Security Architecture
On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova Nation
Using Third Party Components for Building an Application Might be More Dangerous Than You Think!
Isabelle: Not Only a Proof Assistant