Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

PhD School on Secure Enterprise Systems

Looking forward to a great week in Trento attending the SECENTIS PhD Winter School on Security and Trust of Next Generation Enterprise Information Systems. It will be a week full of interesting lectures on building security and privacy-aware enterprise systems.

The topic and speakers are:

  • Davide Balzarotti (Eurecom, France): Web Application Security
  • Stefano Di Paola (MindedSecurity) AppSec Industry Directions: Opportunities and Hurdles, An Overview Over Time and Space From An Insight Angle
  • Sandro Etalle (Technical University of Eindhoven, The Netherlands): Cyber Attacks And Cyber Defences
  • Cédric Hebert (SAP, Sophia Antipolis, France): End-To-End Secure Development in Practice
  • Günter Karjoth (Lucerne University of Applied Sciences): Data Privacy In The 21st Century
  • Anders Møller (Aarhus University, Denmark): Static Program Analysis

I will give a talk entitled Static Analysis - The Workhorse Of A End-To-End Security Testing Strategy in which I provide a broad overview of static program analysis and also report on the experiences in using static analysis at SAP.

Supplementary Material

Welcome to the blog of the Software Assurance & Security Research Team at the University of Exeter. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.

Categories

Archive

Tags

academia ai android apidesign appsec bitcoin blockchain bpmn browser browserextensions browsersecurity bug certification chrome composition cordova dast devops devsecops dom dsbd efsm epsrc event extensions fixeffort floss formaldocument formalmethods funding hol-ocl hol-testgen humanfactor hybridapps iast industry internetofthings iot isabelle/hol isabelledof isadof latex logic maintance malicous mbst mobile mobile apps modelinference modeling monads monitoring msc ocl ontology opensource owasp patches pet phd phdlife phishing policy protocols publishing reliability research safelinks safety sap sast sdlc secdevops secureprogramming security securityengineering securitytesting semantics servicecomposition skills smartcontract smartthings softwareeinginering softwaresecurity softwaresupplychain solidity staff&positions statemachine studentproject tcb test&proof testing tips&tricks tools transport tuos uk uoe upgrade usability verification vulnerabilities vulnerableapplication webinar websecurity

Search


blog whole site