• Contact
  • Research
  • Blog
  • Home

Posts Published in 2021

  • Digital Security by Design & National Cyber Strategy - 16 December 2021
  • Fully (UK Home) Funded PhD Positions - 15 December 2021
  • A Denotational Semantics of Solidity in Isabelle/HOL - 10 December 2021
  • Confidentiality Enhanced Life-Cycle Assessment - 18 October 2021
  • Welcome, Amy! - 20 September 2021
  • Performing Security Proofs of Stateful Protocols - 23 June 2021
  • Welcome, Avik! - 1 April 2021
  • Release: Isabelle/DOF 1.1.0 - 20 March 2021
  • Secure Life Cycle Assessment in Complex Supply Chains - 8 March 2021
  • AI in Both Defensive and Offensive Context - 7 March 2021
  • CIISec Master Class: Attacking The (Software) Supply Chain - 7 February 2021

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

  • 2022 (5)
  • 2021 (11)
  • 2020 (12)
  • 2019 (15)
  • 2018 (13)
  • 2017 (15)
  • 2016 (18)
  • 2015 (3)

Tags

academia ai android apidesign appsec bitcoin blockchain bpmn browser browserextensions browsersecurity certification chrome composition cordova dast devops devsecops dom dsbd efsm epsrc event extensions fixeffort floss formaldocument 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 ocl ontology opensource owasp patches pet phdlife phishing policy protocols publishing reliability research safelinks safety sap sast sdlc secdevops secureprogramming security securityengineering securitytesting semantics servicecomposition skills smartcontract smartthings softwaresecurity softwaresupplychain solidity staff&positions statemachine tcb test&proof testing tips&tricks tools transport tuos uk uoe upgrade usability verification vulnerabilities vulnerableapplication webinar websecurity

Search


blog whole site

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