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