• Contact
  • Research
  • Blog
  • Home

Posts tagged staff&positions

  • A New Life - Cybersecurity @ Exeter - 1 June 2019
  • Open Position as Lecturer in Cybersecurity - 28 March 2019
  • Welcome, Sakine Yalman! - 4 February 2019
  • Several Open (Senior) Lecturer/Reader position in Security - 24 March 2017
  • Appointing a Chair in Security - 24 June 2016
  • Welcome, Michael Herzberg! - 8 February 2016

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

  • all - RSS/Atom
  • security - RSS/Atom
  • test & proof - RSS/Atom
  • staff & positions - RSS/Atom
  • tips & tricks - RSS/Atom

Archive

  • 2019 (7)
  • 2018 (13)
  • 2017 (15)
  • 2016 (18)
  • 2015 (3)

Tags

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

Search


blog whole site

© 2015-2019 Achim D. Brucker, Software Assurance & Security Research, @logicalhacking