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

Secure South West 16

For the first time, we are hosting Secure South West on our lovely Streatham Campus in Exeter. Secure South West is organised by South West Cyber Security Cluster. This year, it focuses on Smart Systems Security.

Smart Systems bring sensor-based intelligence into connected places and the enterprise, helping make predictive decisions – its cognitive intelligence brought into our IT and business management systems. But this Operational Technology also brings new risks at both the societal and business levels. These systems are built differently, usually with cost and power priorities that create new challenges to securing both their sensor/actuator data flows and the IT systems they interface with. This event will explore all aspects of cyber security for those interested in, considering adopting or actively using these smart sensors and systems. We will cover policy and regulatory requirements, innovative cyber security techniques, skills, and the latest cybersec technology so that best practice can be shared into all these application areas, empowering smart systems developers and adopters to build safe and secure infrastructure.

Attendance is free, register here!

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

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

Search


blog whole site