Achim D. Brucker

8 Followers

I am always looking for new challenges to improve the development of secure, safe, and reliable systems, i.e., software assurance or, more general, system assurance. On the one hand, my academic and work experience covers both foundational works as well as applied projects. On the other hand, my experience covers both tool development for improving the security, safety, and reliability of systems as well as the development processes that are required to ensure the product security in large scale software companies.

security security testing sast sdlc software security dast appsec secure development isabelle/hol free software open source third party components sap kapsel sdl javascript vulnerabilities static analysis aniketos service composition software development process uml hol-ocl formal semantics secure consumption of third party software software supply chain attacks supply chain security secure software supply chain programming testing verification document object model dom compliance tests standard compliance iot smart devices ransomware apache cordova phonegap browser security chrome extensions developer awareness software development iast logicalhacking.com floss software assurance nvd cve risk assessement hybrid mobile apps java android cordova theorem proving proof assistant formal methods isabelle agile secure development application security ssdl s2dl bpm; security; cloud javascript; sast; security conformance testing mbt model-based testing cloud object-oriented data structures xacml break-the-glass break-glass access control ocl business process software as a service

Presentations
Documents
Infographics

Latest Most Popular

Achim D. Brucker

A Framework for Secure Service Composition

Extending Access Control Models with Break-glass

Integrating Application Security into a Software Development Process

Security in the Context of Business Processes: Thoughts from a System Vendor's Perspective