Personal Information
Organization / Workplace
Exeter United Kingdom
Occupation
Professor (Chair in Cybersecurity) and Consultant
Industry
Technology / Software / Internet
Website
www.brucker.ch/
About
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.
Tags
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
See more
- Presentations
- Documents
- Infographics